diff options
Diffstat (limited to 'builds/dos/dos-def.mk')
| -rw-r--r-- | builds/dos/dos-def.mk | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/builds/dos/dos-def.mk b/builds/dos/dos-def.mk index 0845e9cc6..32c50730e 100644 --- a/builds/dos/dos-def.mk +++ b/builds/dos/dos-def.mk @@ -16,10 +16,12 @@ DELETE := del CAT := type SEP := $(strip \ ) -BIN := Scripts BUILD_DIR := $(TOP_DIR)/builds/dos PLATFORM := dos +# This is used for `make refdoc' and `make refdoc-venv' +# +BIN := Scripts # The executable file extension (for tools), *with* leading dot. # |