equal
deleted
inserted
replaced
289 if ((doc_dir + Path.explode("build")).is_file) { |
289 if ((doc_dir + Path.explode("build")).is_file) { |
290 bash("./build pdf " + Bash.string(doc_name)) |
290 bash("./build pdf " + Bash.string(doc_name)) |
291 } |
291 } |
292 else { |
292 else { |
293 bash( |
293 bash( |
294 latex_bash("sty"), |
|
295 latex_bash(), |
294 latex_bash(), |
296 "{ [ ! -f " + root_bash("bib") + " ] || " + latex_bash("bbl") + "; }", |
295 "{ [ ! -f " + root_bash("bib") + " ] || " + latex_bash("bbl") + "; }", |
297 "{ [ ! -f " + root_bash("idx") + " ] || " + latex_bash("idx") + "; }", |
296 "{ [ ! -f " + root_bash("idx") + " ] || " + latex_bash("idx") + "; }", |
298 latex_bash(), |
297 latex_bash(), |
299 latex_bash()) |
298 latex_bash()) |