Searched refs:MENU_BEGIN (Results 1 - 1 of 1) sorted by relevance
/netbsd-6-1-5-RELEASE/gnu/dist/texinfo/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 101 milliseconds