wmgenmenu: Write paths according to options set at configure time
commit17c93f0947206bdaaa94df74c981c4fd6f6e7632
authorCarlos R. Mafra <crmafra@gmail.com>
Thu, 10 Apr 2014 18:34:48 +0000 (10 19:34 +0100)
committerCarlos R. Mafra <crmafra@gmail.com>
Thu, 24 Apr 2014 09:47:45 +0000 (24 10:47 +0100)
tree5af5388907e0d94fd040aca68702fa4fdc434490
parentc2e4f6277799c057ff8f5dd64df15105f0080e2e
wmgenmenu: Write paths according to options set at configure time

As reported by Shawn W Dunn, the configuration strings written by wmgenmenu
in $HOME/GNUstep/Defaults/WMRootMenu were not reflecting his installation
directories choices.

Fix this by writing strings composed with PKGDATADIR.
util/wmgenmenu.c