mirror of
https://github.com/fish-shell/fish-shell.git
synced 2024-11-23 10:00:43 +08:00
Minor tweaks for man page parser.
darcs-hash:20071028233110-75c98-7d900290fdb313cb8ce2194a2d452cd9d4c8dc13.gz
This commit is contained in:
parent
54b1986986
commit
374fc09af0
|
@ -6,10 +6,10 @@ import re
|
|||
|
||||
# Regexes for performing cleanup
|
||||
|
||||
cl = {re.compile(r"[ \n\t\r]+", re.MULTILINE):" ",
|
||||
re.compile(r"^[ \n\t\r]"):"",
|
||||
re.compile(r"[ \n\t\r]$"):"",
|
||||
re.compile(r"-[ \t]*\n[ \t\r]+" ):""}
|
||||
cl = { re.compile(r"-[ \t]*\n[ \t\r]+" ):"",
|
||||
re.compile(r"[ \n\t\r]+", re.MULTILINE):" ",
|
||||
re.compile(r"^[ \n\t\r]"):"",
|
||||
re.compile(r"[ \n\t\r]$"):"" }
|
||||
|
||||
def header(cmd):
|
||||
print '''#
|
||||
|
@ -150,6 +150,9 @@ for c in man:
|
|||
|
||||
else:
|
||||
desc += c
|
||||
|
||||
else:
|
||||
print "Unknown mode", mode
|
||||
|
||||
pc = c
|
||||
|
||||
|
|
Loading…
Reference in New Issue
Block a user