Add release date to manual version information.

diff --git a/doc/Makefile.in b/doc/Makefile.in
index 4c0d3fcbc2ffb7e88c71cde6e4bffdd0eab84875..9a500faf6eaa5887f25bad742095c6089273d368 100644 (file)
--- a/doc/Makefile.in
+++ b/doc/Makefile.in
@@ -182,9 +182,9 @@ mutt.1: $(srcdir)/mutt.man
        $(EDIT) $(srcdir)/mutt.man > $@
 
 stamp-doc-xml: $(top_srcdir)/makedoc.c $(top_srcdir)/init.h manual.xml.head manual.xml.tail \
-               $(top_srcdir)/VERSION
+               $(top_srcdir)/VERSION ../reldate.h
        $(MAKE) ../makedoc$(EXEEXT)
-       ( sed -e "s/@VERSION\@/`cat $(top_srcdir)/VERSION`/" $(srcdir)/manual.xml.head ;\
+       ( sed -e "s/@VERSION\@/`cat $(top_srcdir)/VERSION` (`cut -d\\" -f2 ../reldate.h`)/" $(srcdir)/manual.xml.head ;\
          $(MAKEDOC_CPP) $(top_srcdir)/init.h | ../makedoc -s ) |      \
                cat - $(srcdir)/manual.xml.tail > manual.xml
        touch stamp-doc-xml