Create manpage
This commit is contained in:
parent
20eb0fbc34
commit
edff42cba7
@ -33,5 +33,27 @@ def jargonGetEntries(entriesDir):
|
|||||||
entries.append(entry)
|
entries.append(entry)
|
||||||
return entries
|
return entries
|
||||||
|
|
||||||
|
def jargonToManpage(manpageFilename, entries):
|
||||||
|
if not os.path.isdir("man"):
|
||||||
|
os.system("mkdir man")
|
||||||
|
|
||||||
|
fp = open(manpageFilename,'w')
|
||||||
|
|
||||||
|
fp.write(".TH \"The Jargon File\" 1 \"April 26, 2014\" \"\" \"The Jargon File\"\n\n")
|
||||||
|
|
||||||
|
for entry in entries:
|
||||||
|
title = entry[0]
|
||||||
|
text = entry[1]
|
||||||
|
fp.write(".SH " + title + "\n")
|
||||||
|
fp.write(text + "\n\n")
|
||||||
|
|
||||||
|
fp.close()
|
||||||
|
|
||||||
|
os.system("gzip " + manpageFilename)
|
||||||
|
print ""
|
||||||
|
print "manpage can be installed with the command:"
|
||||||
|
print "sudo install -m 644 " + manpageFilename + ".gz /usr/local/share/man/man1"
|
||||||
|
|
||||||
if __name__ == "__main__":
|
if __name__ == "__main__":
|
||||||
entries = jargonGetEntries('entries')
|
entries = jargonGetEntries('entries')
|
||||||
|
jargonToManpage("man/jargon.1", entries)
|
||||||
|
Loading…
x
Reference in New Issue
Block a user