diff options
| author |  notin <notin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2006-03-28 17:34:15 +0000 |
|---|---|---|
| committer | notin <notin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2006-03-28 17:34:15 +0000 |
| commit | 98af1982684a02f9521d28594e0fa01ac3275083 (patch) | |
| tree | f053469950396b884e2fc0c89d171c043524ec09 /doc | |
| parent | 7f3d1f577b2d539eb8019b6390c7400d4a29a36b (diff) | |
- correction d'un bug dans coqdoc (multi_index)
- modif. de la génération de la doc de stdlib
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8669 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/Makefile | 6 | ||||
| -rw-r--r-- | doc/stdlib/index-list.html.template | 2 |
2 files changed, 5 insertions, 3 deletions
diff --git a/doc/Makefile b/doc/Makefile index d1998d4b1..e0fd8ac7b 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -215,7 +215,7 @@ stdlib/index-body.html: $(GLOBDUMP) - rm -rf stdlib/html mkdir stdlib/html (cd stdlib/html;\ - $(COQDOC) -q --multi-index --body-only --html --glob-from $(GLOBDUMP)\ + $(COQDOC) -q --multi-index --html --glob-from $(GLOBDUMP)\ -R $(COQTOP)/theories Coq $(COQTOP)/theories/*/*.v) mv stdlib/html/index.html stdlib/index-body.html @@ -223,7 +223,9 @@ stdlib/index-list.html: stdlib/index-list.html.template COQTOP=$(COQTOP) ./stdlib/make-library-index stdlib/index-list.html stdlib/html/index.html: stdlib/index-list.html stdlib/index-body.html stdlib/index-trailer.html - cat $^ > $@ + cat stdlib/index-list.html > $@ + sed -n -e '/<table>/,/<\/table>/p' stdlib/index-body.html >> $@ + cat stdlib/index-trailer.html >> $@ ### Standard library (printable format - produces > 350 pages) diff --git a/doc/stdlib/index-list.html.template b/doc/stdlib/index-list.html.template index e86430e38..cbb8580d3 100644 --- a/doc/stdlib/index-list.html.template +++ b/doc/stdlib/index-list.html.template @@ -1,7 +1,7 @@ <html> <head> -<link rel="stylesheet" href="style.css" type="text/css"> +<link rel="stylesheet" href="coqdoc.css" type="text/css"> <title>The Coq Standard Library </head> |