885
885
if echo $(FORMATS) | grep ps > /dev/null; then export SRC="$$SRC $(DOC).ps"; fi; \
886
886
if echo $(FORMATS) | grep pdf > /dev/null; then export SRC="$$SRC $(DOC).pdf"; fi; \
897
895
export DIR=$(DOC_BASE)/gstreamer/head/$(DOC); \
898
896
echo Uploading $$SRC to $(DOC_SERVER):$$DIR; \