diff options
| -rw-r--r-- | doc/OMakefile | 2 |
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) |