info.ex

   1 # This is a configuration files for installing a .info menu
   2 # The Description to be placed into the directory
   3 DESCR="Description"
   4
   5 # The section this info file should be placed in (Regexp) followed by
   6 # the new section name to be created if the Regexp does not match
   7 # (Optional. If not given the .info will be appended to the directory)
   8 #SECTION_MATCH="Regexp"
   9 #SECTION_NAME="New Section Name"
  10
  11 # The file referred to from the Info directory
  12 FILE=ginac.info
  13
  14 # Optional. The files to be copied to /usr/share/info
  15 #FILES=*.info