Patch from Michael Wiedmann

diff --git a/website/xsl/makefile-dep.xsl b/website/xsl/makefile-dep.xsl
index 04154c10f81a4f4fd124708e17345c0f2c7fdbdb..212f2876c6876278812c99546783ca6ff1114972 100644 (file)
--- a/website/xsl/makefile-dep.xsl
+++ b/website/xsl/makefile-dep.xsl
@@ -14,6 +14,10 @@
   <xsl:apply-templates select="toc"/>
   <xsl:apply-templates select="notoc"/>
   <xsl:text>&#10;</xsl:text>
+  <xsl:text>distclean: clean
+&#9;rm -f </xsl:text>
+  <xsl:text>autolayout.xml depends.tabular</xsl:text>
+  <xsl:text>&#10;&#10;</xsl:text>
   <xsl:text>clean:
 &#9;rm -f </xsl:text>
   <xsl:apply-templates select="toc" mode="all"/>