ARCHIVE/xrpl-dev-portal
1
0
Fork 0
mirror of https://github.com/XRPLF/xrpl-dev-portal.git synced 2025-11-22 12:45:50 +00:00
Code Issues Packages Projects Releases Wiki Activity

reorg - great file renaming

Browse Source
This commit is contained in:
mDuo13
2016-02-22 19:09:33 -08:00
parent 6f569795bd
commit b72347591e
43 changed files with 1410 additions and 1215 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
tool/parse_pages.py
View File

@@ -499,7 +499,7 @@ if __name__ == "__main__":
if cli_args.pdf[-4:] != ".pdf":
exit("PDF filename must end in .pdf")
logging.info("making a pdf...")
make_pdf(cli_args.pdf)
make_pdf(cli_args.pdf, target=cli_args.target)
logging.info("pdf done")
else: