From 7d618ef0608134704f276b7c2205fc9146eef0aa Mon Sep 17 00:00:00 2001 From: Thomas Schmitt Date: Wed, 19 Oct 2022 15:50:25 +0200 Subject: [PATCH] Enabled production of .info and .1 from merge_debian_isos.texi --- xorriso/make_docs.sh | 2 ++ xorriso/make_xorriso_1.c | 6 +++++- 2 files changed, 7 insertions(+), 1 deletion(-) diff --git a/xorriso/make_docs.sh b/xorriso/make_docs.sh index 2619ef84..b7478d36 100755 --- a/xorriso/make_docs.sh +++ b/xorriso/make_docs.sh @@ -9,11 +9,13 @@ ( 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 ) +( cd test ; makeinfo --no-split ./merge_debian_isos.texi ) xorriso/make_xorriso_1 -auto xorriso/make_xorriso_1 -auto -xorrisofs xorriso/make_xorriso_1 -auto -xorrecord xorriso/make_xorriso_1 -auto -xorriso-tcltk xorriso/make_xorriso_1 -auto -xorriso-dd-target +xorriso/make_xorriso_1 -auto -merge_debian_isos diff --git a/xorriso/make_xorriso_1.c b/xorriso/make_xorriso_1.c index 9c1dfab9..b00f24d5 100644 --- a/xorriso/make_xorriso_1.c +++ b/xorriso/make_xorriso_1.c @@ -8,10 +8,11 @@ or from xorriso/xorrecord.texi to xorriso/xorrecord.1. or from xorriso/xorriso-tcltk.texi to xorriso/xorriso-tcltk.1. or from xorriso/xorriso-dd-target.texi to xorriso/xorriso-dd-target.1. + of from test/merge_debian_iso.texi to test/merge_debian_iso.1 The conversion rules are described at the beginning of xorriso/xorriso.texi - Copyright 2010 - 2019 Thomas Schmitt, + Copyright 2010 - 2022 Thomas Schmitt, Provided under GPL version 2 or later. */ @@ -498,6 +499,9 @@ usage:; } else if(strcmp(argv[i], "-xorriso-dd-target") == 0) { strcpy(name_in, "xorriso-dd-target/xorriso-dd-target.texi"); strcpy(name_out, "xorriso-dd-target/xorriso-dd-target.1"); + } else if(strcmp(argv[i], "-merge_debian_isos") == 0) { + strcpy(name_in, "test/merge_debian_isos.texi"); + strcpy(name_out, "test/merge_debian_isos.1"); } else { fprintf(stderr, "%s : unknown option %s\n", argv[0], argv[i]); goto usage;