From: <ls...@us...> - 2011-08-16 20:43:39
|
Revision: 5847 http://jnode.svn.sourceforge.net/jnode/?rev=5847&view=rev Author: lsantha Date: 2011-08-16 20:43:33 +0000 (Tue, 16 Aug 2011) Log Message: ----------- Customizing the GRUB menu for JNode CD image. Modified Paths: -------------- trunk/jnode.properties.dist Modified: trunk/jnode.properties.dist =================================================================== --- trunk/jnode.properties.dist 2011-08-16 20:19:43 UTC (rev 5846) +++ trunk/jnode.properties.dist 2011-08-16 20:43:33 UTC (rev 5847) @@ -10,6 +10,9 @@ # if you have custom initjars to build. # custom.plugin-list.dir = ${root.dir}/local/plugin-lists/ +# Custom GRUB menu for JNode CD image +#grub.menu.cdrom=${root.dir}/local/menu-cdrom.lst + # Uncomment this property if you do not want the default initjars to be build. # no.default.initjars = 1 This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |