Searched refs:USER_GUIDE (Results 1 - 2 of 2) sorted by relevance

/hets/
H A DMakefile619 USER_GUIDE := $(shell [ -n "$(EXPORTED)" ] || printf 'doc/UserGuide.pdf') macro
630 $(USER_GUIDE) log.haddock \
793 archive: $(USER_GUIDE)
801 if [ -e $(USER_GUIDE) ]; then \
802 cp $(USER_GUIDE) tmp/$(ARC_BNAME)/$(USER_GUIDE) ; \
804 printf '\nWARNING: No $(USER_GUIDE) is unavailable\n!' ; \
/hets/debian/
H A Drules619 USER_GUIDE := $(shell [ -n "$(EXPORTED)" ] || printf 'doc/UserGuide.pdf') macro
630 $(USER_GUIDE) log.haddock \
793 archive: $(USER_GUIDE)
801 if [ -e $(USER_GUIDE) ]; then \
802 cp $(USER_GUIDE) tmp/$(ARC_BNAME)/$(USER_GUIDE) ; \
804 printf '\nWARNING: No $(USER_GUIDE) is unavailable\n!' ; \

Completed in 1132 milliseconds