Atlas48/JargonFile
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Remove preexisting manpage

Browse Source
This commit is contained in:
Bob Mottram 2014-04-26 19:18:58 +01:00
parent eb8b3f4afd
commit ac1226fa95
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
makeJargon.py
View File

@ -39,6 +39,9 @@ def jargonToManpage(manpageFilename, entries, version):
if not os.path.isdir("man"): if not os.path.isdir("man"):
os.system("mkdir man") os.system("mkdir man")
if os.path.isfile(manpageFilename + ".gz"):
os.system("rm " + manpageFilename + ".gz")
fp = open(manpageFilename,'w') fp = open(manpageFilename,'w')
fp.write(".TH \"The Jargon File\" 1 \"April 26, 2014\" \"\" \"" + version + "\"\n\n") fp.write(".TH \"The Jargon File\" 1 \"April 26, 2014\" \"\" \"" + version + "\"\n\n")
@ -52,7 +55,6 @@ def jargonToManpage(manpageFilename, entries, version):
fp.close() fp.close()
os.system("gzip " + manpageFilename) os.system("gzip " + manpageFilename)
print ""
print "manpage can be installed with the command:" print "manpage can be installed with the command:"
print "sudo install -m 644 " + manpageFilename + ".gz /usr/local/share/man/man1" print "sudo install -m 644 " + manpageFilename + ".gz /usr/local/share/man/man1"