// Remove menu from a html file generated by Textinfo // The @content command must be inserted just before the menu, inside the node // How it works? // The table of content is generated by @content, and marked up by // The menu is marked up also by // This second bloc is just removed // www.scriptol.org - Public Domain int main(int argc, array argv) int start, finish, group, ulstack array html print "MenuRem - Remove menu from html texinfo - www.scriptol.org" if argc < 2 print "syntax: menurem filename.html" exit(0) /if text fname = argv[1] print "Processing", fname html.load(fname) `loading file into array ulstack = 0 `count occurences of