Rename manual.sgml.* to manual.xml.*.

diff --git a/doc/Makefile.in b/doc/Makefile.in
index 95053c3a9ec715511f0a8db6950f76d3e060b025..ed16a16e1a05de1e0da97ba00671619790d108a8 100644 (file)
--- a/doc/Makefile.in
+++ b/doc/Makefile.in
@@ -47,8 +47,8 @@ DISTFILES = Makefile.in dotlock.man   \
        muttrc.man.tail                 \
        mbox.man                        \
        mmdf.man                        \
-       manual.sgml.head                \
-       manual.sgml.tail                \
+       manual.xml.head                 \
+       manual.xml.tail                 \
        instdoc.sh.in                   \
        patch-notes.txt                 \
        smime-notes.txt                 \
@@ -188,8 +188,8 @@ EDIT = sed -e 's,@sysconfdir\@,$(sysconfdir),g' \
 mutt.1: $(srcdir)/mutt.man
        $(EDIT) $(srcdir)/mutt.man > $@
 
-manual.xml stamp-doc-xml: ../makedoc$(EXEEXT) $(top_srcdir)/init.h manual.sgml.head manual.sgml.tail $(top_srcdir)/VERSION
-       ( sed -e "s/@VERSION\@/`cat $(top_srcdir)/VERSION`/" $(srcdir)/manual.sgml.head ;\
+manual.xml stamp-doc-xml: ../makedoc$(EXEEXT) $(top_srcdir)/init.h manual.xml.head manual.xml.tail $(top_srcdir)/VERSION
+       ( sed -e "s/@VERSION\@/`cat $(top_srcdir)/VERSION`/" $(srcdir)/manual.xml.head ;\
          $(MAKEDOC_CPP) $(top_srcdir)/init.h | ../makedoc -s ) |      \
-               cat - $(srcdir)/manual.sgml.tail > manual.xml
+               cat - $(srcdir)/manual.xml.tail > manual.xml
        touch stamp-doc-xml

diff --git a/doc/manual.sgml.head b/doc/manual.xml.head
similarity index 100%
rename from doc/manual.sgml.head
rename to doc/manual.xml.head

diff --git a/doc/manual.sgml.tail b/doc/manual.xml.tail
similarity index 100%
rename from doc/manual.sgml.tail
rename to doc/manual.xml.tail