kennethreitz/dive-into-python3
1
0
Fork 0
mirror of https://github.com/kennethreitz/dive-into-python3.git synced 2026-06-05 06:56:12 +00:00
Code Issues Packages Projects Releases Wiki Activity

build fiddling

Browse Source
This commit is contained in:
Mark Pilgrim
2010-09-18 14:07:52 -04:00
parent 43bbbdf176
commit 2137dcb913
2 changed files with 6 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files
prince.css
+1 -1
View File
@@ -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
+5 -5
View File
@@ -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