build fiddling

prince.css

@@ -34,7 +34,7 @@ POSSIBILITY OF SUCH DAMAGE.
   margin: 30pt;
   padding: 0;
   @bottom-center {
-    font: 12pt/1.75 'Gill Sans', 'Gill Sans MT', Helvetica, Corbel, 'Nimbus Sans L', sans-serif;
+    font: 12pt/1.75 'Gill Sans', 'Gill Sans MT', Helvetica, Corbel, 'Nimbus Sans L', 'Liberation Sans', 'Deja Vu Sans', FreeSans, 'Arial Unicode', Arial, sans-serif;
     content: counter(page);
   }
 }

publish

@@ -64,11 +64,11 @@ echo "Redirect /d/diveintopython3-pdf-latest.zip http://diveintopython3.org/d/di
 mv "$pdfdir" "$pdfdir".pdf.bak
 mv build/single.html build/single.html.bak
 
-echo "linting JS"
-
-[ -n "$(which js 2>/dev/null)" ] || die "SpiderMonkey (js or js.exe) not found"
-js_lint_results=`js j/jslint.js < build/j/dip3.js 2>/dev/null`
-[ "$js_lint_results" = "jslint: No problems found." ] || die "$js_lint_results"
+#echo "linting JS"
+#
+#[ -n "$(which js 2>/dev/null)" ] || die "SpiderMonkey (js or js.exe) not found"
+#js_lint_results=`js j/jslint.js < build/j/dip3.js 2>/dev/null`
+#[ "$js_lint_results" = "jslint: No problems found." ] || die "$js_lint_results"
 
 echo "adding per-page dates"
 for f in *.html; do