Lines Matching refs:DIR_FILE
70 Usage: fix-info-dir [OPTION]... [INFO_DIR/[DIR_FILE]] [SKELETON]
105 DIR_FILE=`basename ${INFO_DIR}`;
108 DIR_FILE="dir"
131 if test ! -f "$DIR_FILE"; then
132 echo "$0:$LINENO: $DIR_FILE is irregular or nonexistant">&2
134 elif test ! -r "$DIR_FILE"; then
135 echo "$0:$LINENO: $DIR_FILE is not readable">&2
137 elif test ! -w "$DIR_FILE"; then
138 echo "$0:$LINENO: $DIR_FILE is not writeable">&2
149 if test -f "$DIR_FILE"; then
150 cp "$DIR_FILE" "$DIR_FILE.old"
151 echo "Backed up $DIR_FILE to $DIR_FILE.old."
160 echo "Creating new Info Node: `pwd`/$DIR_FILE"
172 This is the file .../info/$DIR_FILE, which contains the topmost node of the
174 looking at that node, which is ($DIR_FILE)Top.
177 File: $DIR_FILE Node: Top This is the top of the INFO tree
193 ### use it, otherwise create a minimal $DIR_FILE entry.
253 }>$DIR_FILE<$SKELETON
266 sed -e "1,/$MENU_BEGIN/d" -e "$MENU_FILTER1" -e "$MENU_FILTER2"<$DIR_FILE\
274 -e "/^$DIR_FILE\$/d" -e "/^$DIR_FILE.old\$/d"\
279 DONE_MSG="total menu item(s) were inserted into `pwd`/$DIR_FILE"
294 if install-info $Info_File $DIR_FILE; then
300 DONE_MSG="total invalid menu item(s) were removed from `pwd`/$DIR_FILE"
303 if install-info --remove $Info_Name $DIR_FILE; then