diff options
author | Jim Meyering <jim@meyering.net> | 1995-12-23 18:19:26 +0000 |
---|---|---|
committer | Jim Meyering <jim@meyering.net> | 1995-12-23 18:19:26 +0000 |
commit | 6dde9c58fe99330144ebd96fb38b2321977fe028 (patch) | |
tree | ed000c84629b3ce6d0dc20a858ca2cb5f6c0375e /doc | |
parent | f1a5372cbc91b3d66de299160dff97b0f331524d (diff) | |
download | coreutils-6dde9c58fe99330144ebd96fb38b2321977fe028.tar.xz |
.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/Makefile.in b/doc/Makefile.in index ecd7690f9..e63e1b21b 100644 --- a/doc/Makefile.in +++ b/doc/Makefile.in @@ -198,6 +198,7 @@ distclean: clean distclean-vti distclean-info distclean-generic maintainer-clean: distclean maintainer-clean-vti maintainer-clean-info maintainer-clean-generic @echo "This command is intended for maintainers to use;" @echo "it deletes files that may require special tools to rebuild." + rm -f config.status .SUFFIXES: |