diff options
Diffstat (limited to 'packages/Makefile')
-rw-r--r-- | packages/Makefile | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/packages/Makefile b/packages/Makefile index 8580e4f9..c8889001 100644 --- a/packages/Makefile +++ b/packages/Makefile @@ -12,9 +12,10 @@ all: abstractions include Makefile.dirs DST_PATHS = APPLICATIONS_DEST=$(APPLICATIONS_DEST) \ - OBJECTS_DEST=$(OBJECTS_DEST) \ DOCS_DEST=$(DOCS_DEST) \ - MANUALS_DEST=$(MANUALS_DEST) + HELP_DEST=$(HELP_DEST) \ + MANUALS_DEST=$(MANUALS_DEST) \ + OBJECTS_DEST=$(OBJECTS_DEST) #------------------------------------------------------------------------------# # BUILD TARGETS @@ -30,5 +31,5 @@ abstractions_clean: clean: abstractions_clean -rm -f *~ - rm -rf $(MANUALS_DEST) - rmdir $(DOCS_BASE) $(INSTALL_PREFIX) + rm -rf $(MANUALS_DEST) $(HELP_DEST) + rmdir $(DOCS_DEST) $(INSTALL_PREFIX) |