From 9a257b4fd410fdc57f3d5dfaff247ad2cfe5fab4 Mon Sep 17 00:00:00 2001
From: Fred Drake <fdrake@acm.org>
Date: Fri, 31 Mar 2000 20:27:36 +0000
Subject: [PATCH] Added --numeric option, similar to mkhtml.sh.

---
 Doc/tools/mkhowto | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/Doc/tools/mkhowto b/Doc/tools/mkhowto
index 5ae9bbb78be..621aa8e5ecb 100755
--- a/Doc/tools/mkhowto
+++ b/Doc/tools/mkhowto
@@ -18,6 +18,8 @@ HTML options:
     --iconserver, -i	Specify location of icons (default: ../).
     --image-type	Specify the image type to use in HTML output;
                         values: gif (default), png.
+    --numeric           Don't rename the HTML files; just keep node#.html for
+                        the filenames.
 
 Other options:
     --a4		Format for A4 paper.
@@ -84,6 +86,7 @@ class Options:
     paper = "letter"
     quiet = 0
     runs = 0
+    numeric = 0
     style_file = os.path.join(TOPDIR, "html", "style.css")
     about_file = os.path.join(TOPDIR, "html", "about.dat")
     #
@@ -107,7 +110,7 @@ class Options:
                                     "address=", "a4", "l2h-config=", "letter",
                                     "link=", "split=", "logging", "debugging",
                                     "keep", "quiet", "runs=", "image-type=",
-                                    "about="]
+                                    "about=", "numeric"]
                                    + list(self.ALL_FORMATS))
         for opt, arg in opts:
             if opt == "--all":
@@ -145,6 +148,8 @@ class Options:
                 # always make this absolute:
                 self.about_file = os.path.normpath(
                     os.path.join(os.getcwd(), arg))
+            elif opt == "--numeric":
+                self.numeric = 1
             #
             # Format specifiers:
             #
@@ -337,7 +342,7 @@ class Job:
                         os.path.join(builddir, self.doc + ".css"))
         shutil.copyfile(os.path.join(builddir, self.doc + ".html"),
                         os.path.join(builddir, "index.html"))
-        if max_split_depth != 1:
+        if max_split_depth != 1 and not self.options.numeric:
             pwd = os.getcwd()
             try:
                 os.chdir(builddir)