diff options
Diffstat (limited to 'Doc')
| -rwxr-xr-x | Doc/tools/mkhowto | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Doc/tools/mkhowto b/Doc/tools/mkhowto index bc9333b..012ffc5 100755 --- a/Doc/tools/mkhowto +++ b/Doc/tools/mkhowto @@ -294,6 +294,8 @@ class Job: # ... postprocess shutil.copyfile(self.options.style_file, 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: pwd = os.getcwd() try: @@ -317,6 +319,7 @@ class Job: fp = open(self.l2h_aux_init_file, "w") fp.write("# auxillary init file for latex2html\n" "# generated by mkhowto\n" + "$NO_AUTO_LINK = 1;\n" ) options = self.options for fn in options.config_files: |