From 804ffb925890c51d39fe43564c6b30900fa3ff3d Mon Sep 17 00:00:00 2001 From: Philipp Gesang Date: Sun, 2 Mar 2014 19:25:59 +0100 Subject: build documentation in batchmode --- doc/OMakefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc') 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) -- cgit v1.2.3