summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
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)