[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.
Regards.
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(-)
--
1.7.3.4
More information about the ffmpeg-devel
mailing list