Added a doublespace command

Author: TobiasWrigstad

scripts/Makefile

@@ -6,6 +6,9 @@ js_path=$(realpath ../static/img_javascript/)
 
 svgs: orig_svgs js_svgs
 
+doublespace:
+	cd .. && ./scripts/do.sh doublespace
+
 orig_svgs: $(orig_path)/ch2-Z-G-65.svg.pdf \
       $(orig_path)/ch2-Z-G-59.svg.pdf \
       $(orig_path)/chip.std.svg.pdf \

scripts/do.sh

@@ -26,6 +26,8 @@ main() {
 
     if [ "$1" == "pdf" ]; then
 	pdf
+    elif [ "$1" == "doublespace" ]; then
+	doublespace
     elif [ "$1" == "clean" ]; then
 	clean
     elif [ "$1" == "epub" ]; then
@@ -44,6 +46,14 @@ main() {
     fi
 }
 
+doublespace() {
+	yarn process pdf; yarn process pdf; \
+	cd ${LATEX_PDF}; \
+	cp -f sicpjs.tex sicpjs_doublespace.tex; \
+	sed -i 's/onehalfspacing/doublespacing/' ../latex_pdf/sicpjs_doublespace.tex; \
+	latexmk -silent -pdf -pdflatex="pdflatex --synctex=1" -f ${OUTPUT_FILE}_doublespace
+}
+
 pdf() {
 	yarn process pdf; yarn process pdf; \
 	cd ${LATEX_PDF}; \