File tree Expand file tree Collapse file tree 1 file changed +2
-0
lines changed
Expand file tree Collapse file tree 1 file changed +2
-0
lines changed Original file line number Diff line number Diff line change @@ -11,6 +11,7 @@ GENERATED_JS="js_programs"
1111GENERATED_JSON=" json"
1212PDF_FILE=" sicpjs.pdf"
1313LOG_FILE=" sicpjs.log"
14+ ILG_FILE=" sicpjs.ilg"
1415EPUB_FILE=" sicpjs.epub"
1516
1617# RESOURCES
@@ -68,6 +69,7 @@ prepare() {
6869 [ ! -f ${STYLESHEET} ] || cp ${STYLESHEET} ${DOCS} /assets/stylesheet.css
6970 [ ! -f ${LATEX_PDF} /${PDF_FILE} ] || cp ${LATEX_PDF} /${PDF_FILE} ${DOCS}
7071 [ ! -f ${LATEX_PDF} /${LOG_FILE} ] || cp ${LATEX_PDF} /${LOG_FILE} ${DOCS}
72+ [ ! -f ${LATEX_PDF} /${ILG_FILE} ] || cp ${LATEX_PDF} /${ILG_FILE} ${DOCS}
7173 [ ! -f ${LATEX_EPUB} /${EPUB_FILE} ] || cp ${LATEX_EPUB} /${EPUB_FILE} ${DOCS}
7274 [ ! -f ${GENERATED_HTML} /index.html ] || cp -rf ${GENERATED_HTML} /* ${DOCS}
7375 [ ! -d ${GENERATED_JS} ] || ( zip -r ${ZIP_FILE} ${GENERATED_JS} ; \
You can’t perform that action at this time.
0 commit comments