Searched refs:MENU_BEGIN (Results 1 - 1 of 1) sorted by relevance
/netbsd-current/external/gpl2/texinfo/dist/util/ | ||
H A D | fix-info-dir | 30 MENU_BEGIN='^\*\([ ]\)\{1,\}Menu:' 266 sed -e "1,/$MENU_BEGIN/d" -e "$MENU_FILTER1" -e "$MENU_FILTER2"<$DIR_FILE\ |
Completed in 117 milliseconds