Document --nodelete

pull/977/head
Daniel Wagner-Hall 9 years ago
parent a74fb54053
commit cdc06a8bf1

@ -79,9 +79,11 @@ if __name__ == '__main__':
# we accept almost no args, so they don't know what they're doing! # we accept almost no args, so they don't know what they're doing!
print "gendoc.py - Generate the Matrix specification as HTML." print "gendoc.py - Generate the Matrix specification as HTML."
print "Usage:" print "Usage:"
print " python gendoc.py" print " python gendoc.py [--nodelete]"
print "" print ""
print "The specification can then be found in the gen/ folder." print "The specification can then be found in the gen/ folder."
print ("If --nodelete was specified, intermediate files will be "
"present in the tmp/ folder.")
print "" print ""
print "Requirements:" print "Requirements:"
print " - This script requires Jinja2 and rst2html (docutils)." print " - This script requires Jinja2 and rst2html (docutils)."

Loading…
Cancel
Save