build fiddling

Mark Pilgrim · Mark Pilgrim · commit 2137dcb913f8 · 2010-09-18T14:07:52.000-04:00
diff --git a/prince.css b/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);
   }
 }
diff --git a/publish b/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

Original file line number	Diff line number	Diff line change
`@@ -34,7 +34,7 @@ POSSIBILITY OF SUCH DAMAGE.`
`34`	`34`	`margin: 30pt;`
`35`	`35`	`padding: 0;`
`36`	`36`	`@bottom-center {`
`37`		`- font: 12pt/1.75 'Gill Sans', 'Gill Sans MT', Helvetica, Corbel, 'Nimbus Sans L', sans-serif;`
	`37`	`+ 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;`
`38`	`38`	`content: counter(page);`
`39`	`39`	`}`
`40`	`40`	`}`