ifeq ($(strip $(TEX_DEST_DIR_EXIST)),0)
;
else
TEX_DEST_DIR_EXIST := $(mkdir -p ${TEX_DEST_DIR})
endif

documented on: 2004.01.29 Thu