Spracherkennung für: vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
(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)
[ Dauer der Verarbeitung: 0.30 Sekunden
]
