Revise all .txt menus as .adocs and make .html files from them