usr/bin/open-axiom
usr/lib/open-axiom/lib/ex2ht

# We make choice in debian/rules:
#
# SBCL:  usr/lib/open-axiom/algebra/*.fasl
# GCL:   usr/lib/open-axiom/algebra/*.o

# SBCL: usr/lib/open-axiom/lib/libopen-axiom-core.so
# GCL:  NOTHING

usr/lib/open-axiom/lib/session
usr/lib/open-axiom/lib/spadbuf
usr/lib/open-axiom/lib/spadclient

# For internal commands:
# )copyright and )summary
usr/lib/open-axiom/lib/copyright
usr/lib/open-axiom/lib/summary

usr/lib/open-axiom/lib/command.list

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

debian/open-axiom.xpm /usr/share/pixmaps/
debian/open-axiom.desktop /usr/share/applications/