Permalink
Browse files

Improve the coqdoc call (Dibrawi.Anyweb)

  • Loading branch information...
1 parent 87bf690 commit d1d36b86ff5332a4b29527f983762e2293d49558 @smondet committed Aug 4, 2011
Showing with 7 additions and 3 deletions.
  1. +7 −3 src/lib/dibrawi_anyweb.ml
View
@@ -119,10 +119,14 @@ let camlbrtx fmt = [
let coqbrtx fmt =
let coqdoc =
+ let file_name = "/tmp/coqbrtx" in
sprintf
- "cat > /tmp/ttt.v ; coqdoc -s --parse-comments --stdout \
- --body-only --no-externals --no-index %s /tmp/ttt.v"
- (match fmt with `html -> "--html" | `latex -> "--latex") in
+ "cat > %s.v ; coqdoc -s -utf8 --parse-comments --stdout \
+ --body-only --no-externals --no-index %s %s.v \
+ 2> %s.log" file_name
+ (match fmt with `html -> "--html" | `latex -> "--latex")
+ file_name file_name
+ in
let coq =
("coq",
(let on_text, on_end =

0 comments on commit d1d36b8

Please sign in to comment.