diff options
Diffstat (limited to 'lib-src')
| -rw-r--r-- | lib-src/makefile.nt | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lib-src/makefile.nt b/lib-src/makefile.nt index 0f263d79b71..2f6cb4817f6 100644 --- a/lib-src/makefile.nt +++ b/lib-src/makefile.nt | |||
| @@ -140,7 +140,7 @@ lisp= \ | |||
| 140 | 140 | ||
| 141 | DOC = DOC | 141 | DOC = DOC |
| 142 | $(DOC): $(BLD)\make-docfile.exe | 142 | $(DOC): $(BLD)\make-docfile.exe |
| 143 | - del /q $(DOC) | 143 | - del $(DOC) |
| 144 | $(BLD)\make-docfile -d ..\src $(obj) > $(DOC) | 144 | $(BLD)\make-docfile -d ..\src $(obj) > $(DOC) |
| 145 | $(BLD)\make-docfile -d ..\src $(lisp) >> $(DOC) | 145 | $(BLD)\make-docfile -d ..\src $(lisp) >> $(DOC) |
| 146 | $(CP) $(DOC) ..\etc\DOC-X | 146 | $(CP) $(DOC) ..\etc\DOC-X |
| @@ -175,10 +175,10 @@ install: $(INSTALL_FILES) | |||
| 175 | # | 175 | # |
| 176 | # Maintenance | 176 | # Maintenance |
| 177 | # | 177 | # |
| 178 | clean:; - del /q *~ *.pdb | 178 | clean:; - del *~ *.pdb |
| 179 | - $(DEL_TREE) deleted | 179 | - $(DEL_TREE) deleted |
| 180 | - $(DEL_TREE) obj | 180 | - $(DEL_TREE) obj |
| 181 | - del /q DOC* | 181 | - del DOC* |
| 182 | 182 | ||
| 183 | # | 183 | # |
| 184 | # Headers we would preprocess if we could. | 184 | # Headers we would preprocess if we could. |