(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)))