From: Tomek Mrugalski <tomasz@isc.org>
Date: Fri, 20 Mar 2020 13:30:04 +0000 (+0100)
Subject: [#1055] platforms.rst now cleaned
X-Git-Tag: Kea-1.7.6~20
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a1ee27d757ced02b761dc44beba891b426e435b0;p=thirdparty%2Fkea.git

[#1055] platforms.rst now cleaned
---

diff --git a/doc/sphinx/Makefile.am b/doc/sphinx/Makefile.am
index 7b4e153c42..00c7e5b607 100644
--- a/doc/sphinx/Makefile.am
+++ b/doc/sphinx/Makefile.am
@@ -144,6 +144,7 @@ mans: $(man_sources)
 clean-local:
 	rm -rf $(sphinxbuilddir)
 	rm -f $(srcdir)/kea-messages.rst $(srcdir)/api.rst
+	rm -f $(srcdir)/arm/platforms.rst
 
 .PHONY: all pdf html mans