annotate nt/install.bat @ 17265:ddbe17ae5280

Added mouse-selection feature for bookmark list buffer. (bookmark-bmenu-other-window-with-mouse): New function. (bookmark-bmenu-mode-map): Bind mouse-2. (bookmark-bmenu-list, bookmark-insert-location, bookmark-bmenu-hide-filenames): Put text property on bookmarks. (bookmark-bmenu-show-filenames): Remove text property from white spaces generated by `move-to-column'. (bookmark-bmenu-bookmark): Use `buffer-substring-no-properties' instead of `buffer-substring'.
author Richard M. Stallman <rms@gnu.org>
date Sun, 30 Mar 1997 21:38:43 +0000
parents afc59ce2842a
children cc0d47241404
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
15157
170295263e96 Allow for optimized build.
Geoff Voelker <voelker@cs.washington.edu>
parents: 15131
diff changeset
1 @echo off
170295263e96 Allow for optimized build.
Geoff Voelker <voelker@cs.washington.edu>
parents: 15131
diff changeset
2 if (%1) == (speed) set BUILD_TYPE=spd
170295263e96 Allow for optimized build.
Geoff Voelker <voelker@cs.washington.edu>
parents: 15131
diff changeset
3 if (%1) == (speed) shift
170295263e96 Allow for optimized build.
Geoff Voelker <voelker@cs.washington.edu>
parents: 15131
diff changeset
4 if not (%1) == () set INSTALL_DIR=%1
15231
afc59ce2842a Set BUILD_TYPE and INSTALL_DIR before calling make;
Richard M. Stallman <rms@gnu.org>
parents: 15157
diff changeset
5 nmake -f makefile.nt install
afc59ce2842a Set BUILD_TYPE and INSTALL_DIR before calling make;
Richard M. Stallman <rms@gnu.org>
parents: 15157
diff changeset
6 set INSTALL_DIR=
afc59ce2842a Set BUILD_TYPE and INSTALL_DIR before calling make;
Richard M. Stallman <rms@gnu.org>
parents: 15157
diff changeset
7 set BUILD_TYPE=