diff options
Diffstat (limited to 'sysutils/slurm-wlm/files/patch-doc_man_man2html.py')
| -rw-r--r-- | sysutils/slurm-wlm/files/patch-doc_man_man2html.py | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/sysutils/slurm-wlm/files/patch-doc_man_man2html.py b/sysutils/slurm-wlm/files/patch-doc_man_man2html.py new file mode 100644 index 000000000000..9e5da7e2cc01 --- /dev/null +++ b/sysutils/slurm-wlm/files/patch-doc_man_man2html.py @@ -0,0 +1,11 @@ +--- doc/man/man2html.py.orig 2016-08-24 23:46:50 UTC ++++ doc/man/man2html.py +@@ -180,7 +180,7 @@ version = sys.argv[1] + for f in sys.argv[4:]: + posLastDot = f.rfind(".") + mhtmlname = f[:posLastDot] + ".mhtml" +- cmd = "man2html " + f + "> " + mhtmlname ++ cmd = "man2html < " + f + "> " + mhtmlname + os.system(cmd) + print(">>>>>>> " + mhtmlname) + files.append(mhtmlname) |