diff options
Diffstat (limited to 'texi2html.patch')
| -rw-r--r-- | texi2html.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/texi2html.patch b/texi2html.patch new file mode 100644 index 000000000000..a5b87553b7c3 --- /dev/null +++ b/texi2html.patch @@ -0,0 +1,11 @@ +--- cinelerra-4.4.orig/quicktime/thirdparty/ffmpeg-0.6.1/Makefile 2013-01-02 15:17:54.625193189 -0800 ++++ cinelerra-4.4/quicktime/thirdparty/ffmpeg-0.6.1/Makefile 2013-01-02 15:18:31.860356486 -0800 +@@ -107,7 +107,7 @@ + + doc/%.html: TAG = HTML + doc/%.html: doc/%.texi +- $(M)cd doc && texi2html -monolithic -number $(<:doc/%=%) ++ $(M)cd doc && texi2html $(<:doc/%=%) + + doc/%.pod: TAG = POD + doc/%.pod: doc/%-doc.texi |