Add links to Emacs manuals.

1 files changed, 31 insertions, 4 deletions

diff --git a/html/doc.html b/html/doc.html
index f072c0fd..51d084a9 100644
--- a/html/doc.html
+++ b/html/doc.html
@@ -1,4 +1,4 @@
-<h2>Manual</h2>
+<h2>Manuals for Proof General</h2>
 
 <p>
 There are two manuals for Proof General:
@@ -29,9 +29,7 @@ For printing you can download:
 </ul>
 <p>
 The PostScript files are recommended over the PDF.
-</p>
-<p>
-Note that both manuals (in HTML and Info formats) are included in the
+Both manuals (in HTML and Info formats) are included in the
 <a href="download">download</a>. When running Proof General the manual
 is available from the "Proof General" menu.  It should also appear in
 the system Info pages.
@@ -49,6 +47,35 @@ announcements by joining our <a href="mailinglist.html">mailing
 list</a>.
 </p>
 
+
+<h2>Manuals for Emacs</h2>
+
+<p>If you're new to Emacs, it's recommended to try the Emacs tutorial,
+available inside Emacs by pressing <b>C-h t</b> (which means
+<tt>ctrl</tt>-with-<tt>h</tt> followed by <tt>t</tt>).  There are many
+other <b>C-h</b> commands, and the Help menu inside Emacs gives access
+to more help facilities.
+</p>
+<p>For on-line reading, these links might be helpful:
+<ul>
+<li>The <a href="http://www.gnu.org/manual/emacs/">Emacs user manual</a></li>
+<li>The <a href="http://www.gnu.org/manual/emacs-lisp-intro">
+  Emacs lisp introduction</a> and 
+  <a href="http://www.gnu.org/manual/elisp">Emacs lisp reference</a>.</li>
+</li>
+</ul>
+(You don't need to look at anything about lisp unless you're interested
+in developing Proof General).
+</p>
+<p>The corresponding manuals for XEmacs are
+available <a href="http://www.xemacs.org/Documentation/index.html">here</a> (xemacs.org).
+</p>
+
+
+
+
+
+
 <h2>References</h2>
 
 <p> Ideas for the future of Proof General are given here: