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 | |
| 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.
| -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 |