From 5f4acb8fd7f968b751a88ac221828543aafd5760 Mon Sep 17 00:00:00 2001
From: Michael Hohn <hohn@github.com>
Date: Wed, 4 Aug 2021 00:00:17 -0700
Subject: [PATCH] add QLlanguagereference-14pt.pdf

---
 .../build.latex/QLlanguagereference-14pt.pdf  |  3 ++
 .../language/learn-ql/build.latex/README.org  | 34 +++++++++++++++++++
 2 files changed, 37 insertions(+)
 create mode 100644 ql/docs/language/learn-ql/build.latex/QLlanguagereference-14pt.pdf

diff --git a/ql/docs/language/learn-ql/build.latex/QLlanguagereference-14pt.pdf b/ql/docs/language/learn-ql/build.latex/QLlanguagereference-14pt.pdf
new file mode 100644
index 0000000..ac8c0fc
--- /dev/null
+++ b/ql/docs/language/learn-ql/build.latex/QLlanguagereference-14pt.pdf
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:ec1034f79150adf0a09f8bda6e7e115cd8e7c0ae6d64249181cb77fbdcf0bf7e
+size 425314
diff --git a/ql/docs/language/learn-ql/build.latex/README.org b/ql/docs/language/learn-ql/build.latex/README.org
index ba7dd0b..e5034e7 100644
--- a/ql/docs/language/learn-ql/build.latex/README.org
+++ b/ql/docs/language/learn-ql/build.latex/README.org
@@ -12,6 +12,9 @@
   - [[./LearningCodeQL-768e5190a1-14pt.pdf]] also uses the Bitstream Charter font
     instead of Times Roman, and additionally uses a 14pt font size for smaller
     devices like ipads.
+  - [[./QLlanguagereference-14pt.pdf]] also uses the Bitstream Charter font
+    instead of Times Roman, and additionally uses a 14pt font size for smaller
+    devices like ipads.
 
 * Building the documentation
   Here is a very short summary of the build steps for the files.
@@ -56,3 +59,34 @@
 
     open LearningCodeQL.pdf 
   #+END_SRC
+
+  For the QL language reference:
+  #+BEGIN_SRC sh
+    # Build the PDF version
+    cd ~/local/vmsync/ql/docs/language/ql-handbook
+    sphinx-build -b latex . build.latex
+
+    # Customize the latex source
+    cd ~/local/vmsync/ql/docs/language/ql-handbook/build.latex/
+
+    # More depth for table of contents: change to 
+    # \setcounter{tocdepth}{3}
+    # 
+    # Change the font for the 14pt version:
+    # comment
+    #     % \usepackage{times}
+    # and use 
+    #     \usepackage[bitstream-charter]{mathdesign}
+    #     \renewcommand{\baselinestretch}{1.1}
+    # instead.
+    # 
+    # For the 14pt version, add:
+    #     \usepackage[fontsize=14]{scrextend}
+
+    # Run xelatex twice
+    xelatex -shell-escape  -interaction=nonstopmode QLlanguagereference.tex
+    xelatex -shell-escape  -interaction=nonstopmode QLlanguagereference.tex
+
+    open QLlanguagereference.pdf 
+
+  #+END_SRC