From 5a6aa8a71e06441d24dada6288a2d1f36bd590ff Mon Sep 17 00:00:00 2001 From: Thomas Schmitt Date: Sat, 17 Oct 2020 15:31:37 +0200 Subject: [PATCH] Added makeinfo option --no-split in make_docs.sh --- xorriso/make_docs.sh | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/xorriso/make_docs.sh b/xorriso/make_docs.sh index 9455297e..2619ef84 100755 --- a/xorriso/make_docs.sh +++ b/xorriso/make_docs.sh @@ -4,11 +4,11 @@ # from base file xorriso/xorriso.texi. # Same for xorriso/xorrisofs.texi and xorriso/xorrecord.texi. -( cd xorriso ; makeinfo ./xorriso.texi ) -( cd xorriso ; makeinfo ./xorrisofs.texi ) -( cd xorriso ; makeinfo ./xorrecord.texi ) -( cd xorriso ; makeinfo ./xorriso-tcltk.texi ) -( cd xorriso-dd-target ; makeinfo ./xorriso-dd-target.texi ) +( cd xorriso ; makeinfo --no-split ./xorriso.texi ) +( cd xorriso ; makeinfo --no-split ./xorrisofs.texi ) +( cd xorriso ; makeinfo --no-split ./xorrecord.texi ) +( cd xorriso ; makeinfo --no-split ./xorriso-tcltk.texi ) +( cd xorriso-dd-target ; makeinfo --no-split ./xorriso-dd-target.texi ) xorriso/make_xorriso_1 -auto xorriso/make_xorriso_1 -auto -xorrisofs