- Importing new files for packaging Debian GNU/Linux packages.

[ginac.git] / debian / info.ex

diff --git a/debian/info.ex b/debian/info.ex
new file mode 100644 (file)
index 0000000..76c1e4c
--- /dev/null
+++ b/debian/info.ex
@@ -0,0 +1,15 @@
+# This is a configuration files for installing a .info menu
+# The Description to be placed into the directory
+DESCR="Description"
+
+# The section this info file should be placed in (Regexp) followed by
+# the new section name to be created if the Regexp does not match
+# (Optional. If not given the .info will be appended to the directory)
+#SECTION_MATCH="Regexp"
+#SECTION_NAME="New Section Name"
+
+# The file referred to from the Info directory
+FILE=ginac.info
+
+# Optional. The files to be copied to /usr/share/info
+#FILES=*.info