annotate nt/install.bat @ 49390:1ab93adb0017

(Info-index): change pattern so that index entries with colons can be read properly; also, require at least one space after the colons, which makeinfo puts in. From: Aubrey Jaffer <agj@alum.mit.edu>, 7 Nov 2002 21:16:12 -0500, sent to bug-texinfo.
author Karl Berry <karl@gnu.org>
date Wed, 22 Jan 2003 20:35:23 +0000
parents b2da8183c301
children 695cf19ef79e
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
26550
b2da8183c301 Add CRs.
Gerd Moellmann <gerd@gnu.org>
parents: 26548
diff changeset
1 @echo off
b2da8183c301 Add CRs.
Gerd Moellmann <gerd@gnu.org>
parents: 26548
diff changeset
2 if (%1) == (speed) set BUILD_TYPE=spd
b2da8183c301 Add CRs.
Gerd Moellmann <gerd@gnu.org>
parents: 26548
diff changeset
3 if (%1) == (speed) shift
b2da8183c301 Add CRs.
Gerd Moellmann <gerd@gnu.org>
parents: 26548
diff changeset
4 if not (%1) == () set INSTALL_DIR=%1
b2da8183c301 Add CRs.
Gerd Moellmann <gerd@gnu.org>
parents: 26548
diff changeset
5 if not (%1) == () shift
b2da8183c301 Add CRs.
Gerd Moellmann <gerd@gnu.org>
parents: 26548
diff changeset
6 nmake -f makefile.nt install %1 %2 %3 %4 %5 %6 %7 %8 %9
b2da8183c301 Add CRs.
Gerd Moellmann <gerd@gnu.org>
parents: 26548
diff changeset
7 set INSTALL_DIR=
b2da8183c301 Add CRs.
Gerd Moellmann <gerd@gnu.org>
parents: 26548
diff changeset
8 set BUILD_TYPE=