summaryrefslogtreecommitdiff
path: root/debian/clean
diff options
context:
space:
mode:
Diffstat (limited to 'debian/clean')
-rw-r--r--debian/clean6
1 files changed, 6 insertions, 0 deletions
diff --git a/debian/clean b/debian/clean
new file mode 100644
index 0000000..70a380f
--- /dev/null
+++ b/debian/clean
@@ -0,0 +1,6 @@
+doc/flex.info
+doc/flex.info-1
+doc/flex.info-2
+doc/flex.1
+doc/stamp-vti
+doc/version.texi