rename to jabref-plugin-oo (files in debian/*)
authorgregor herrmann <gregoa@debian.org>
Sat, 13 Mar 2010 17:04:30 +0000 (17:04 -0000)
committergregor herrmann <gregoa@debian.org>
Sat, 13 Mar 2010 17:04:30 +0000 (17:04 -0000)
debian/jabref-plugin-oo.docs [new file with mode: 0644]
debian/jabref-plugin-oo.examples [new file with mode: 0644]
debian/jabref-plugin-oo.install [new file with mode: 0644]
debian/jabref-plugin-oo.links [new file with mode: 0644]

diff --git a/debian/jabref-plugin-oo.docs b/debian/jabref-plugin-oo.docs
new file mode 100644 (file)
index 0000000..14af4d6
--- /dev/null
@@ -0,0 +1 @@
+OOPlugin-jabref.html
diff --git a/debian/jabref-plugin-oo.examples b/debian/jabref-plugin-oo.examples
new file mode 100644 (file)
index 0000000..117f55a
--- /dev/null
@@ -0,0 +1 @@
+example_style_file.jstyle
diff --git a/debian/jabref-plugin-oo.install b/debian/jabref-plugin-oo.install
new file mode 100644 (file)
index 0000000..7fe3281
--- /dev/null
@@ -0,0 +1 @@
+dist/net.sf.jabref.oo.ooplugin-0.7.3.jar usr/share/jabref/plugins
diff --git a/debian/jabref-plugin-oo.links b/debian/jabref-plugin-oo.links
new file mode 100644 (file)
index 0000000..c095847
--- /dev/null
@@ -0,0 +1 @@
+usr/share/jabref/plugins/net.sf.jabref.oo.ooplugin-0.7.3.jar usr/share/java/jabref-plugin-oo.jar