Bring back the somewhat more appropriate INFO_DESC from pre-r521020.

This commit is contained in:
Marius Strobl 2019-12-28 18:06:09 +00:00
parent 52cfc9b501
commit d8710e78e1
Notes: svn2git 2021-03-31 03:12:20 +00:00
svn path=/head/; revision=521229

View File

@ -21,6 +21,7 @@ OPTIONS_MULTI_CVSBOOK= INFO SINGLE_HTML SPLIT_HTML POSTSCRIPT PDF
OPTIONS_DEFAULT= INFO SINGLE_HTML POSTSCRIPT PDF
OPTIONS_SUB= yes
INFO_DESC= Install the info version
SINGLE_HTML_DESC= Install the single HTML version
SPLIT_HTML_DESC= Install the split HTML version
POSTSCRIPT_DESC= Install the Postscript version