Quelle  dune   Sprache: unbekannt

(install
 (section lib)
 (package rocq-runtime)
 (files
  (coqdoc.css as tools/coqdoc/coqdoc.css)
  (coqdoc.sty as tools/coqdoc/coqdoc.sty)))

; File needs to be here too.
(install
 (section share_root)
 (package rocq-runtime)
 (files
  (coqdoc.sty as texmf/tex/latex/misc/coqdoc.sty)))

(library
 (name coqdoclib)
 (modules :standard \ coqdoc)
 (libraries str rocq-runtime.boot rocq-runtime.config rocq-runtime.clib))

(executable
 (name coqdoc)
 (public_name coqdoc)
 (package coq-core)
 (modules coqdoc)
 (libraries coqdoclib))

(ocamllex cpretty)

quality96%

[ Dauer der Verarbeitung: 0.15 Sekunden  (vorverarbeitet)  ]