diff options
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> |