Install mbox (5), and fix a typo.

diff --git a/doc/Makefile.in b/doc/Makefile.in
index a8dd64f5ad60a0a234c998c3388153af190b4299..12596f423e5619ee7cb87336f2d327d0e783517f 100644 (file)
--- a/doc/Makefile.in
+++ b/doc/Makefile.in
@@ -45,6 +45,7 @@ DISTFILES = Makefile.in dotlock.man   \
        muttrc.man.head                 \
        muttrc.man.tail                 \
        muttrc.man                      \
+       mbox.man                        \
        manual.sgml.head                \
        manual.sgml.tail                \
        manual.sgml                     \
@@ -76,6 +77,7 @@ install: all
        $(INSTALL) -m 644 $(srcdir)/dotlock.man \
                $(DESTDIR)$(mandir)/man1/mutt_dotlock.1
        $(INSTALL) -m 644 muttrc.man $(DESTDIR)$(mandir)/man5/muttrc.5
+       $(INSTALL) -m 644 mbox.man $(DESTDIR)$(mandir)/man5/mbox.5
        $(top_srcdir)/mkinstalldirs $(DESTDIR)$(docdir)
        for f in $(srcdir_DOCFILES) ; do \
                $(INSTALL) -m 644 $(srcdir)/$$f $(DESTDIR)$(docdir) ; \

diff --git a/doc/mbox.man b/doc/mbox.man
index ee4035bde744684c9bc179784924f8dc42bac389..f53af81b702ffc66416025bec365664bcdb2ab8d 100644 (file)
--- a/doc/mbox.man
+++ b/doc/mbox.man
@@ -50,7 +50,7 @@ month  =      "Jan" / "Feb" / "Mar" / "Apr" / "May"
                / "Jun" / "Jul" / "Aug" / "Sep" 
                / "Oct" / "Nov" / "Dec"
 day     =      1*2DIGIT
-time    =      1*2DIGIT : 1*2DIGIT [ : 1*2DIGIT ]
+time    =      1*2DIGIT ":" 1*2DIGIT [ ":" 1*2DIGIT ]
 timezone        =      ( "+" / "-" ) 4DIGIT
 year    =      ( 4DIGIT / 2DIGIT )
 .TE