diff options
author | Eric Wong <e@80x24.org> | 2019-10-22 01:31:53 +0000 |
---|---|---|
committer | Eric Wong <e@80x24.org> | 2019-10-22 07:44:32 +0000 |
commit | a4b2bb62a0dde5054c5d2c0a7ea3fb3ff1806beb (patch) | |
tree | 7b92ce1fd7c11a9467669e05aebf1c2948933b39 /Documentation | |
parent | 424723f76541180fc445d2b983691ef5de9655ec (diff) | |
download | public-inbox-a4b2bb62a0dde5054c5d2c0a7ea3fb3ff1806beb.tar.gz |
I need to remove all the generated documentation files before running "git-set-file-times" for rsync to our website.
Diffstat (limited to 'Documentation')
-rw-r--r-- | Documentation/include.mk | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Documentation/include.mk b/Documentation/include.mk index 1460604d..d2357ffc 100644 --- a/Documentation/include.mk +++ b/Documentation/include.mk @@ -188,7 +188,8 @@ rsync-doc: NEWS.atom.gz clean-doc: $(RM) $(man1) $(man5) $(man7) $(man8) $(gz_docs) $(docs_html) $(mantxt) - $(RM) $(gz_xdocs) $(xdocs_html) $(xdocs) NEWS NEWS.atom NEWS.html + $(RM) $(gz_xdocs) $(xdocs_html) $(xdocs) + $(RM) NEWS NEWS.atom NEWS.html Documentation/standards.txt clean :: clean-doc |