diff options
| author | Glenn Morris <[email protected]> | 2007-09-06 07:32:52 +0000 |
|---|---|---|
| committer | Glenn Morris <[email protected]> | 2007-09-06 07:32:52 +0000 |
| commit | 8aee12d0337c075441bacd287a5673be7be98493 (patch) | |
| tree | 1984db277f2df2048e037b79639ac9afbf6f58ec /nt/configure.bat | |
| parent | 56d727ff69995ff33b51254ed455d3c729fdcee2 (diff) | |
Change from ../man to ../doc/emacs and ../doc/misc; and from
../lispref, ../lispintro to ../doc/lispref, ../doc/lispintro.
Diffstat (limited to 'nt/configure.bat')
| -rwxr-xr-x | nt/configure.bat | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/nt/configure.bat b/nt/configure.bat index 373318d04a..27ba7bedce 100755 --- a/nt/configure.bat +++ b/nt/configure.bat @@ -509,9 +509,10 @@ if exist config.tmp del config.tmp copy /b config.settings+%MAKECMD%.defs+..\nt\makefile.w32-in ..\nt\makefile
copy /b config.settings+%MAKECMD%.defs+..\lib-src\makefile.w32-in ..\lib-src\makefile
copy /b config.settings+%MAKECMD%.defs+..\src\makefile.w32-in ..\src\makefile
-copy /b config.settings+%MAKECMD%.defs+..\man\makefile.w32-in ..\man\makefile
-copy /b config.settings+%MAKECMD%.defs+..\lispref\makefile.w32-in ..\lispref\makefile
-copy /b config.settings+%MAKECMD%.defs+..\lispintro\makefile.w32-in ..\lispintro\makefile
+copy /b config.settings+%MAKECMD%.defs+..\doc\emacs\makefile.w32-in ..\doc\emacs\makefile
+copy /b config.settings+%MAKECMD%.defs+..\doc\misc\makefile.w32-in ..\doc\misc\makefile
+copy /b config.settings+%MAKECMD%.defs+..\doc\lispref\makefile.w32-in ..\doc\lispref\makefile
+copy /b config.settings+%MAKECMD%.defs+..\doc\lispintro\makefile.w32-in ..\doc\lispintro\makefile
if exist ..\lisp\makefile rm -f ../lisp/[Mm]akefile
copy /b config.settings+%MAKECMD%.defs+..\lisp\makefile.w32-in ..\lisp\makefile
rem Use the default (no-op) Makefile.in if the nt version is not present.
|