Untersuchungsergebnis Download desUnknown {[0] [0] [0]}zum Wurzelverzeichnis wechseln
(dirs :standard _static _templates)
(rule
(targets README.gen.rst)
(deps (source_tree ../tools/coqrst) README.template.rst)
(action (run ../tools/coqrst/regen_readme.py %{targets})))
(rule
(alias refman-html)
(action (diff README.rst README.gen.rst)))
[ 0.128Quellennavigators
]
