From 2390a53b72fc30e5acfa46854005be7b2a7211e2 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 26 Nov 1999 14:16:15 +0000
Subject: Added index.html link.

---
 doc/Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/doc/Makefile b/doc/Makefile
index 02b82950..fc767822 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -124,6 +124,7 @@ ps:	dvi $(DOCNAME).ps
 psz:	ps $(DOCNAME).ps.gz
 pdf:    ProofGeneralPortrait.pdf $(DOCNAME).pdf
 html:   $(DOCNAME).html
+	ln -sf $(DOCNAME)_toc.html index.html
 info:   ProofGeneral.txt $(DOCNAME).info
 
 # NB: for info, could make localdir automatically from
-- 
cgit v1.2.3