diff options
Diffstat (limited to 'debian/notused/info.ex')
-rw-r--r-- | debian/notused/info.ex | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/debian/notused/info.ex b/debian/notused/info.ex deleted file mode 100644 index 31365f9..0000000 --- a/debian/notused/info.ex +++ /dev/null @@ -1,15 +0,0 @@ -# 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=pyg.info - -# Optional. The files to be copied to /usr/share/info -#FILES=*.info |