diff options
| author | Matěj Cepl <mcepl@cepl.eu> | 2002-06-04 17:02:00 +0200 |
|---|---|---|
| committer | Matěj Cepl <mcepl@cepl.eu> | 2015-01-03 10:31:58 +0100 |
| commit | 59eda1d0150e4b517a071c1e04ded96ff8f0f314 (patch) | |
| tree | 47db347f3ff74e3a7fb23cef1cba2ed4a452aeaa /debian/notused/info.ex | |
| parent | a9d49c6a0fd9dbad859659d7f49901bc9101d790 (diff) | |
| download | pyg-59eda1d0150e4b517a071c1e04ded96ff8f0f314.tar.gz | |
pyg 0.9.6 from archive.debian.org0.9.6
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 |