diff options
| author | herbelin | 2004-08-03 21:14:32 +0000 |
|---|---|---|
| committer | herbelin | 2004-08-03 21:14:32 +0000 |
| commit | 5fdbd65d54f6ce49aea432ce460db0ec94d87562 (patch) | |
| tree | 72ea6de2dba754f4c858c3f6c5ebb691788d1668 | |
| parent | 6314513ab93cb43a7c40c4ea7b728b48c4b723a7 (diff) | |
bibtex et hevea
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8581 85f007b7-540e-0410-9357-904b9bb8a0f7
| -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 |