From a4b2bb62a0dde5054c5d2c0a7ea3fb3ff1806beb Mon Sep 17 00:00:00 2001
From: Eric Wong <e@80x24.org>
Date: Tue, 22 Oct 2019 01:31:53 +0000
Subject: [PATCH] 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 | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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