New patch 08_doubleextensions.patch, kindly backported and provided by
[debian/jabref.git] / debian / repack.local
index 05f27c3f65057fc1f1bf8aed7b9124320ef01adf..f03c114cb7aa269ba20446e9c95af1a212a3da8d 100644 (file)
@@ -1,5 +1,3 @@
 requires_version 2
+SUFFIX=+ds
 rm lib
-rm src/java/net/sf/jabref/util/DocumentPrinter.java
-rm src/help/de/JabRef-UserManual_de.tex
-rm src/java/net/sf/jabref/about/HighlightFilter.java