summaryrefslogtreecommitdiff
path: root/debian/open-axiom.install
diff options
context:
space:
mode:
authorIgor Pashev <pashev.igor@gmail.com>2011-08-20 01:41:50 +0400
committerIgor Pashev <pashev.igor@gmail.com>2011-08-20 01:41:50 +0400
commit1356775f9e90ccec78319d75efa1fef120e50b39 (patch)
treed844750c3d76054aca1d0c202c102e660cd8894f /debian/open-axiom.install
downloadopen-axiom-debian-1356775f9e90ccec78319d75efa1fef120e50b39.tar.gz
Initial commit
Diffstat (limited to 'debian/open-axiom.install')
-rw-r--r--debian/open-axiom.install19
1 files changed, 19 insertions, 0 deletions
diff --git a/debian/open-axiom.install b/debian/open-axiom.install
new file mode 100644
index 0000000..9f7bd2d
--- /dev/null
+++ b/debian/open-axiom.install
@@ -0,0 +1,19 @@
+usr/bin/open-axiom
+usr/lib/open-axiom/lib/command.list
+usr/lib/open-axiom/lib/ex2ht
+usr/lib/open-axiom/algebra/*.fasl
+usr/lib/open-axiom/lib/session
+usr/lib/open-axiom/lib/spadbuf
+usr/lib/open-axiom/lib/spadclient
+usr/lib/open-axiom/lib/summary
+usr/lib/open-axiom/lib/command.list
+usr/lib/open-axiom/lib/copyright
+
+usr/lib/open-axiom/doc
+
+usr/lib/open-axiom/bin/sman
+usr/lib/open-axiom/bin/clef
+usr/lib/open-axiom/bin/asq
+usr/lib/open-axiom/bin/AXIOMsys
+
+usr/lib/open-axiom/lib/libopen-axiom-core.so