From 98af1982684a02f9521d28594e0fa01ac3275083 Mon Sep 17 00:00:00 2001 From: notin Date: Tue, 28 Mar 2006 17:34:15 +0000 Subject: - 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 --- doc/Makefile | 6 ++++-- doc/stdlib/index-list.html.template | 2 +- 2 files changed, 5 insertions(+), 3 deletions(-) (limited to 'doc') diff --git a/doc/Makefile b/doc/Makefile index d1998d4b16..e0fd8ac7bf 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>/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 e86430e389..cbb8580d33 100644 --- a/doc/stdlib/index-list.html.template +++ b/doc/stdlib/index-list.html.template @@ -1,7 +1,7 @@ - +The Coq Standard Library </head> -- cgit v1.2.3