[#1055] platforms.rst now cleaned

diff --git a/doc/sphinx/Makefile.am b/doc/sphinx/Makefile.am
index 7b4e153c42d3970b1ab72fbe0ad9a72f6522ba76..00c7e5b607b7731724d3989ccc43f23316512084 100644 (file)
--- 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