(install, fast_install): Install Windows icons

into etc/icons.

diff --git a/nt/makefile.nt b/nt/makefile.nt
index 06726541048b3ddc95d7be88ef61e9f7af1f43e5..122fadcaeed464fa918e7d243c62d547bb49fcdf 100644 (file)
--- a/nt/makefile.nt
+++ b/nt/makefile.nt
@@ -134,6 +134,8 @@ install:    all batch_files
                - $(ADDPM) $(INSTALL_DIR)
                - $(DEL) ..\same-dir.tst
                - $(DEL) $(INSTALL_DIR)\same-dir.tst
+               - mkdir $(INSTALL_DIR)\etc\icons
+               - $(CP_DIR) icons $(INSTALL_DIR)\etc\icons
                echo SameDirTest > $(INSTALL_DIR)\same-dir.tst
                if not exist ..\same-dir.tst $(MAKE) -f makefile.nt real_install
                - $(DEL) ..\same-dir.tst
@@ -168,6 +170,8 @@ real_install:
                - mkdir $(INSTALL_DIR)\lock
                - mkdir $(INSTALL_DIR)\data
                - mkdir $(INSTALL_DIR)\site-lisp
+               - mkdir $(INSTALL_DIR)\etc\icons
+               - $(CP_DIR) icons $(INSTALL_DIR)\etc\icons
                if not exist ..\same-dir.tst $(CP_DIR) ..\etc $(INSTALL_DIR)\etc
                if not exist ..\same-dir.tst $(CP_DIR) ..\info $(INSTALL_DIR)\info
                - $(DEL) ..\same-dir.tst