diff --git a/debian/patches/javadoc.patch b/debian/patches/javadoc.patch index ee617bf..b6371ba 100644 --- a/debian/patches/javadoc.patch +++ b/debian/patches/javadoc.patch @@ -1,3 +1,9 @@ +Description: remove packaged docs +Origin: vendor +Forwarded: no +Author: gregor herrmann +Last-Update: 2012-04-18 + --- a/build.xml +++ b/build.xml @@ -98,8 +98,6 @@ diff --git a/debian/patches/jgraph.patch b/debian/patches/jgraph.patch index 8396f8e..9252ffa 100644 --- a/debian/patches/jgraph.patch +++ b/debian/patches/jgraph.patch @@ -1,3 +1,9 @@ +Description: point to Debian lib +Origin: vendor +Forwarded: no +Author: gregor herrmann +Last-Update: 2012-04-18 + --- a/build.xml +++ b/build.xml @@ -9,7 +9,7 @@