From fea0fcd723791636645b6fbad4f55f49cd2806c6 Mon Sep 17 00:00:00 2001 From: Tom Yu Date: Thu, 21 Dec 2006 21:58:10 +0000 Subject: [PATCH] don't split HTML output from makeinfo * 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 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/Makefile b/doc/Makefile index 652cf9da2..8be5b3ee4 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -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 -- 2.26.2