(rule
(targets unreleased.rst)
(deps (source_tree changelog))
(action (with-stdout-to %{targets} (bash "cat changelog/00-title.rst changelog/*/*.rst"))))
(alias
(name refman-deps)
(deps
; We could use finer dependencies here so the build is faster:
;
; - vo files: generated by sphinx after parsing the doc, promoted,
; - Static files:
; + %{bin:coqdoc} etc...
; + config/coq_config.py
; + tools/coqdoc/coqdoc.css
(package rocq-runtime)
(package rocq-core)
(source_tree sphinx)
(source_tree tools/coqrst)
../config/coq_config.py
unreleased.rst
(env_var SPHINXWARNOPT)
(env_var COQRST_EXTRA)))
(rule
(targets
(dir refman-html))
(alias refman-html)
(deps (alias refman-deps))
(action
(run env sphinx-build -q %{env:SPHINXWARNOPT=-W} -b html sphinx %{targets})))
(rule
(targets
(dir refman-pdf))
(alias refman-pdf)
(deps ../ide/rocqide/coq.png (alias refman-deps))
(action
(progn
(run env sphinx-build -q %{env:SPHINXWARNOPT=-W} -b latex sphinx %{targets})
(chdir %{targets} (run make LATEXMKOPTS=-silent)))))
¤ Dauer der Verarbeitung: 0.12 Sekunden
(vorverarbeitet)
¤
*© Formatika GbR, Deutschland
