upgrade:
	if [ -f ${DFO_BIN_DIR}/productExplorer ] ; \
	then \
	chmod u+w ${DFO_BIN_DIR}/productExplorer ; \
	fi
	mv productExplorer ${DFO_BIN_DIR}
	if [ -f ${DFO_DOC_DIR}/productExplorer.h ] ; \
	then \
	chmod u+w ${DFO_DOC_DIR}/productExplorer.h ; \
	fi
	mv productExplorer.h ${DFO_DOC_DIR}

config:

