diff options
Diffstat (limited to 'doc/GNUmakefile')
-rw-r--r-- | doc/GNUmakefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/GNUmakefile b/doc/GNUmakefile index 53d9b35..bf81053 100644 --- a/doc/GNUmakefile +++ b/doc/GNUmakefile @@ -13,6 +13,8 @@ all: html info html info: $(PAGES) conf.py $(wildcard *.rst */*.rst) sphinx-build -M $@ . _build +reader.rst: + $(PAGES) &: $(wildcard *.rst.in */*.rst.in) $(LISP) $(SBCL) --eval "(mapc #'consfigurator::build-manual-rst \ uiop:*command-line-arguments*)" --quit $(PAGES) |