Change manual.sgml to manual.xml (noted by Alain Bench).

diff --git a/doc/devel-notes.txt b/doc/devel-notes.txt
index 880673466a063075a5fb3f67472ca0677aaf1fb8..748e36f9d551cf8a7f9c09b810fcae641557ba5f 100644 (file)
--- a/doc/devel-notes.txt
+++ b/doc/devel-notes.txt
@@ -108,7 +108,7 @@ Documentation
 Please document your changes.  Note that there are several places
 where you may have to add documentation:
 
-- doc/manual.sgml.{head,tail} contain The Manual.
+- doc/manual.xml.{head,tail} contain The Manual.
 
 - doc/muttrc.man.{head,tail} contain an abriged version of The
   Manual in nroff format (see man(7)), which deals with