diff options
author | Rafael Laboissière <rafael@debian.org> | 2024-01-06 18:56:50 -0300 |
---|---|---|
committer | Rafael Laboissière <rafael@debian.org> | 2024-01-06 18:56:50 -0300 |
commit | f8e6d90e8917884e0faedae92a57ca827bc8df3b (patch) | |
tree | 80e27ea1ec326576628de825ddb21b9112068e14 | |
parent | 11d9055615a32c19aece0a05f490a95d0c1baca5 (diff) |
d/clean: Reduce list of cleaned files
-rw-r--r-- | debian/clean | 13 |
1 files changed, 3 insertions, 10 deletions
diff --git a/debian/clean b/debian/clean index 986bff2..9d4838e 100644 --- a/debian/clean +++ b/debian/clean @@ -1,10 +1,3 @@ -doc/arduino.html
-doc/arduino.info
-doc/arduino.aux
-doc/arduino.cp
-doc/arduino.cps
-doc/arduino.fn
-doc/arduino.fns
-doc/arduino.log
-doc/arduino.toc
-
+doc/arduino.html +doc/arduino.info +doc/arduino.pdf |