]> git.tuebingen.mpg.de Git - lopsub.git/blobdiff - debian/liblopsub-dev.install
Add infrastructure to build debian packages.
[lopsub.git] / debian / liblopsub-dev.install
diff --git a/debian/liblopsub-dev.install b/debian/liblopsub-dev.install
new file mode 100644 (file)
index 0000000..8e6c62d
--- /dev/null
@@ -0,0 +1,5 @@
+usr/include/*
+usr/lib/*/liblopsub.so
+usr/bin/lopsubgen
+usr/share/man/man1/lopsubgen*
+usr/share/man/man5/lopsub-suite*