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