Fix typo

Closes #271

Author: marijnh

Diff for: 00_intro.md

@@ -3,7 +3,7 @@
 # Introduction
 
 This is a book about instructing ((computer))s. Computers are about as
-common a screwdrivers today. But they are quite a bit more complex
+common as screwdrivers today. But they are quite a bit more complex
 than screwdrivers, and making them do the precise thing you want them
 to do isn't always easy.
 

Diff for: 05_higher_order.md

@@ -739,7 +739,7 @@ function textScripts(text) {
   }).join(", ");
 }
 
-console.log(textScripts('英國狗說“woof”，但俄羅斯狗說“тяв”'));
+console.log(textScripts('英国的狗说“woof”, 俄罗斯的狗说“тяв”'));
 // → 59% Han, 24% Latin, 18% Cyrillic
 ```
 

Diff for: Makefile

@@ -34,3 +34,13 @@ test: html
 	@for F in $(CHAPTERS); do echo Testing $$F:; node src/run_tests.js $$F.md; done
 	@node src/check_links.js
 	@echo Done.
+
+book.pdf: $(foreach CHAP,$(CHAPTERS),pdf/$(CHAP).tex) pdf/book.tex $(patsubst img/%.svg,img/generated/%.pdf,$(SVGS))
+	#cd pdf && sh build.sh book > /dev/null
+	mv pdf/book.pdf .	
+
+img/generated/%.pdf: img/%.svg
+	inkscape --export-pdf=$@ $<
+
+pdf/%.tex: %.md
+	node src/render_latex.js $< > $@

Diff for: README.md

@@ -9,3 +9,8 @@ Feedback welcome, in the form of issues and pull requests.
 
     npm install
     make html
+
+To build the PDF file:
+
+    apt-get install texlive texlive-xetex texlive-fonts-extra
+    make book.pdf

Diff for: src/render_html.js

@@ -11,7 +11,7 @@ let file = process.argv[2]
 
 let {tokens, metadata} = transformTokens(require("./markdown").parse(fs.readFileSync(file, "utf8"), {}), {
   defined: ["interactive", "html"],
-  ids: true,
+  takeTitle: true,
   index: false
 })
 

Diff for: src/transform.js

@@ -87,9 +87,11 @@ exports.transformTokens = function(tokens, options) {
       nextTag(tokens, i).tableData = tok.args[0]
     } else if (type == "meta_if_open") {
       i = handleIf(tokens, i, options)
+    } else if (type == "meta_hint_open" && options.strip === "hints") {
+      do { i++ } while (tokens[i].type != "meta_hint_close")
     } else if (type == "meta_if_close" || (options.index === false && (type == "meta_indexsee" || type == "meta_index"))) {
       // Drop
-    } else if (tok.tag == "h1") {
+    } else if (tok.tag == "h1" && options.takeTitle) {
       if (tokens[i + 1].children.length != 1) throw new Error("Complex H1 not supported")
       meta.title = tokens[i + 1].children[0].content
       i += 2