Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
dune
Sprache: Unknown
|
(dirs :standard _static)
(rule (targets README.gen.rst)
(deps (source_tree ../tools/coqrst) README.template.rst)
(action (run ../tools/coqrst/regen_readme.py %{targets})))
(alias (name refman-html)
(action (diff README.rst README.gen.rst)))
[ Dauer der Verarbeitung: 0.4 Sekunden
(vorverarbeitet)
]
|
