]> Sergey Matveev's repositories - public-inbox.git/commit
projects / public-inbox.git / commit
summary | shortlog | log | commit | commitdiff | tree
(parent: 424723f) | patch
doc: clean-doc: remove generated standards.txt
authorEric Wong <e@80x24.org>
Tue, 22 Oct 2019 01:31:53 +0000 (01:31 +0000)
committerEric Wong <e@80x24.org>
Tue, 22 Oct 2019 07:44:32 +0000 (07:44 +0000)
commita4b2bb62a0dde5054c5d2c0a7ea3fb3ff1806beb
tree7b92ce1fd7c11a9467669e05aebf1c2948933b39tree
parent424723f76541180fc445d2b983691ef5de9655eccommit | diff
doc: clean-doc: remove generated standards.txt

I need to remove all the generated documentation files
before running "git-set-file-times" for rsync to our
website.
Documentation/include.mk diff | blob | history
My patches to https://public-inbox.org/public-inbox.git