diff options
Diffstat (limited to 'doc')
| -rwxr-xr-x | doc/newfaq/run.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/doc/newfaq/run.sh b/doc/newfaq/run.sh index a574a880a8..808d59b366 100755 --- a/doc/newfaq/run.sh +++ b/doc/newfaq/run.sh @@ -1,2 +1,6 @@ #/bin/sh -coq-tex -n 72 -v -sl -small main.tex && latex main.v.tex +coq-tex -n 72 -v -sl -small main.tex && latex main.v.tex && bibtex main.v && latex main.v.tex && latex main.v.tex && hevea -fix -nosymb main.v.tex + +# Commands for installation on pauillac +# scp main.v001.gif interval_discr.v pauillac.inria.fr:/net/pauillac/infosystems/www/coq/doc +# scp main.v.html pauillac.inria.fr:/net/pauillac/infosystems/www/coq/doc/faq.html |