diff options
| -rwxr-xr-x | bin/reproducible_maintainance.sh | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/bin/reproducible_maintainance.sh b/bin/reproducible_maintainance.sh index 3cbd545d..efdd9985 100755 --- a/bin/reproducible_maintainance.sh +++ b/bin/reproducible_maintainance.sh @@ -72,9 +72,11 @@ if [ ! -z "$OLDSTUFF" ] ; then ;; bootlogo) rm -v $i ;; - org.daisy.paper.CustomPaperCollection.obj) rm -v $i + org.daisy.paper.CustomPaperCollection.obj) rm -v $i ;; - debian-faq.pdf.gz|debian-faq.ps.gz|debian-faq.txt.gz) rm -v $i + debian-faq.pdf.gz|debian-faq.ps.gz|debian-faq.txt.gz) rm -v $i + ;; + sumo_doxygen_lastrun.log) rm -v $i ;; *) ;; esac |