750
750
if echo $(FORMATS) | grep ps > /dev/null; then export SRC="$$SRC $(DOC).ps"; fi; \
751
751
if echo $(FORMATS) | grep pdf > /dev/null; then export SRC="$$SRC $(DOC).pdf"; fi; \
762
760
export DIR=$(DOC_BASE)/gstreamer/head/$(DOC); \
763
761
echo Uploading $$SRC to $(DOC_SERVER):$$DIR; \