ARCHIVE/xrpl-dev-portal
1
0
Fork 0
mirror of https://github.com/XRPLF/xrpl-dev-portal.git synced 2025-11-20 19:55:54 +00:00
Code Issues Packages Projects Releases Wiki Activity

PDF improvements, including syntax highlighting

Browse Source
This commit is contained in:
mDuo13
2016-03-18 19:13:10 -07:00
parent dddaad56b1
commit 1296f0739d
5 changed files with 33 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
tool/dactyl_build.py
View File

@@ -437,7 +437,7 @@ def make_pdf(outfile, target=None, bypass_errors=False):
os.makedirs(config["out_path"])
# Start preparing the prince command
args = [config["prince_executable"], '-o', outfile]
args = [config["prince_executable"], '--javascript', '-o', outfile]
# Each HTML output file in the target is another arg to prince
pages = get_pages(target)
args += [os.path.join(temp_files_path, p["html"]) for p in pages]