diff options
| -rw-r--r-- | debian/open-axiom-hypertex-data.install | 2 | ||||
| -rw-r--r-- | debian/open-axiom-hypertex-data.links | 1 |
2 files changed, 2 insertions, 1 deletions
diff --git a/debian/open-axiom-hypertex-data.install b/debian/open-axiom-hypertex-data.install index 97238e5..a988bf5 100644 --- a/debian/open-axiom-hypertex-data.install +++ b/debian/open-axiom-hypertex-data.install @@ -1 +1 @@ -usr/lib/open-axiom/share/hypertex +usr/lib/open-axiom/share/hypertex /usr/share/open-axiom/ diff --git a/debian/open-axiom-hypertex-data.links b/debian/open-axiom-hypertex-data.links new file mode 100644 index 0000000..3f89ec0 --- /dev/null +++ b/debian/open-axiom-hypertex-data.links @@ -0,0 +1 @@ +usr/share/open-axiom/hypertex usr/lib/open-axiom/share/hypertex |