summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorPhilipp Gesang <phg@phi-gamma.net>2014-03-02 19:25:59 +0100
committerPhilipp Gesang <phg@phi-gamma.net>2018-12-02 21:09:43 +0100
commit804ffb925890c51d39fe43564c6b30900fa3ff3d (patch)
treeca8402cb94330f8750fab3de26b0eba8635cb4e3 /doc
parent46adb93045360b797866585cc4078dacefc63789 (diff)
downloadcontext-rst-804ffb925890c51d39fe43564c6b30900fa3ff3d.tar.gz
build documentation in batchmodeHEADmaster
Diffstat (limited to 'doc')
-rw-r--r--doc/OMakefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/OMakefile b/doc/OMakefile
index 3de13bc..72dccf4 100644
--- a/doc/OMakefile
+++ b/doc/OMakefile
@@ -25,7 +25,7 @@ $(manual_pdf): :effects: $(manual_tmp) $(manual_junk) $(manual_spam)
--of=$(manual_tmp) \
&> $(manual_spam)
echo ":: creating $@ from $(manual_src) and $(manual_tmp)"
- context $(file $(manual_src)) &>> $(manual_spam)
+ context --nonstopmode $(file $(manual_src)) &>> $(manual_spam)
manual: $(manual_pdf)