New patch 08_doubleextensions.patch, kindly backported and provided by
[debian/jabref.git] / debian / repack.local
index 491491e8da0eb9fde9cd89f4ee77076d25606d66..f03c114cb7aa269ba20446e9c95af1a212a3da8d 100644 (file)
@@ -1,4 +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