don't split HTML output from makeinfo
authorTom Yu <tlyu@mit.edu>
Thu, 21 Dec 2006 21:58:10 +0000 (21:58 +0000)
committerTom Yu <tlyu@mit.edu>
Thu, 21 Dec 2006 21:58:10 +0000 (21:58 +0000)
* doc/Makefile (HTML): To avoid generating excessively long
filenames, don't split HTML output.

ticket: new
target_version: 1.6
tags: pullup

git-svn-id: svn://anonsvn.mit.edu/krb5/trunk@19002 dc483132-0cff-0310-8789-dd5450dbe970

doc/Makefile

index 652cf9da28c2a45a6fd7c71c9eb752c32cffe9ff..8be5b3ee454c4ad7c56b4a3f773b8246eff4cf87 100644 (file)
@@ -3,7 +3,7 @@ DVI=texi2dvi
 DVIPS=dvips -o "$@"
 PSPDF=ps2pdf
 INFO=makeinfo
-HTML=makeinfo --html
+HTML=makeinfo --html --no-split
 RM=rm -f
 TAR=tar -chvf
 GZIP=gzip -9