diff options
| author | Philipp Gesang <phg@phi-gamma.net> | 2014-03-02 19:25:59 +0100 |
|---|---|---|
| committer | Philipp Gesang <phg@phi-gamma.net> | 2018-12-02 21:09:43 +0100 |
| commit | 804ffb925890c51d39fe43564c6b30900fa3ff3d (patch) | |
| tree | ca8402cb94330f8750fab3de26b0eba8635cb4e3 /doc/OMakefile | |
| parent | 46adb93045360b797866585cc4078dacefc63789 (diff) | |
| download | context-rst-804ffb925890c51d39fe43564c6b30900fa3ff3d.tar.gz | |
Diffstat (limited to 'doc/OMakefile')
| -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) |