diff options
author | Thomas Roessler <roessler@does-not-exist.org> | 2000-06-26 21:53:20 +0000 |
---|---|---|
committer | Thomas Roessler <roessler@does-not-exist.org> | 2000-06-26 21:53:20 +0000 |
commit | acff48628d800e086de767eaba40981b19df984e (patch) | |
tree | 921d80878a14a809ab09facc3a3762dae1fd20fa /doc/Makefile.in | |
parent | 0dd0e2be27602f723e62d68fc4b2cbd2dabf0d3d (diff) |
"make check" cosmetics.
Diffstat (limited to 'doc/Makefile.in')
-rw-r--r-- | doc/Makefile.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/Makefile.in b/doc/Makefile.in index 20284c13..5825e61a 100644 --- a/doc/Makefile.in +++ b/doc/Makefile.in @@ -92,6 +92,8 @@ uninstall: -rm -f $(DESTDIR)$(mandir)/man5/muttrc.5 -rm -rf $(DESTDIR)$(docdir) +check: + manual.txt: manual.sgml if sgml2txt -c latin manual ; then \ uniq < manual.txt | expand > _manual.txt ; \ |