[FFmpeg-devel] [PATCH 0/3] Some changes and fixes for the documentation build system

jamal jamrial at gmail.com
Wed Jul 11 04:24:03 CEST 2012

Among other things this covers Carl Eugen Hoyos' ticket #1515 on Trac regarding texi2html.
The first patch makes the configure script check for pod2man instead of texi2html when choosing if it should disable or enable CONFIG_DOC.
Since make install only cares about man pages, the availability of texi2html should not decide if the documentation is built or not.


jamal (3):
  configure: Only build documentation if pod2man is available
  configure: Check that texi2html supports --init-file
  doc: Add missing $(EXESUF) to print_options

 configure    |    6 ++++--
 doc/Makefile |    7 +++++--
 2 files changed, 9 insertions(+), 4 deletions(-)


More information about the ffmpeg-devel mailing list