I got tired of having to maintain half a gazillion menus.cfg files
considering that the vast majority of them are identical or have
large identical sections. Thus, I took the m4-based menus.cfg from
the chooser theme and hacked on it a bunch. I can now regenerate
the menu files for all Eterm themes from a single source file using
the gen-menus script in doc/.
I also removed the comments from the theme.cfg files of all themes
except "Eterm" itself.
SVN revision: 5263
Michael Jennings