diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/docs/Makefile b/docs/Makefile index 9b51adb20d..74eb955819 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -15,6 +15,10 @@ install-docs :: $(PAGE) .PHONY: binary-dist binary-dist.doc.% binary-dist: $(foreach SUBDIR,$(SUBDIRS),binary-dist.doc.$(SUBDIR)) +ifeq "$(WHERE_AM_I)" "" + echo "I don't know where I am" >&2 + exit 1 +endif echo $(WHERE_AM_I)/Makefile >> $(BIN_DIST_LIST) echo $(WHERE_AM_I)/$(PAGE) >> $(BIN_DIST_LIST) |