From 7489829eff2b36b15694a7f06122fc825905bba6 Mon Sep 17 00:00:00 2001
From: Jim Fehrle
Date: Wed, 3 Oct 2018 18:16:14 -0700
Subject: Include all menu entries in the menu/short TOC so that users can view
 menu options for all chapters without having to load a new chapter. Change
 "Introcution" title to "Introduction and Contents"

---
 Makefile.doc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile.doc')

diff --git a/Makefile.doc b/Makefile.doc
index 1184cc186b..9e6ec4955a 100644
--- a/Makefile.doc
+++ b/Makefile.doc
@@ -10,7 +10,7 @@
 
 # Makefile for the Coq documentation
 
-# Read INSTALL.doc to learn about the dependencies
+# Read doc/README.md to learn about the dependencies
 
 # The main entry point :
 
-- 
cgit v1.2.3