Makefile
changeset 957 793cfb68fb1e
parent 956 36454643fec6
child 1008 dc218f2b784d
equal deleted inserted replaced
956:36454643fec6 957:793cfb68fb1e
   364 
   364 
   365 .PHONY: deploy-voa
   365 .PHONY: deploy-voa
   366 deploy-voa: deploy2defun-voa deploy2sf-voa
   366 deploy-voa: deploy2defun-voa deploy2sf-voa
   367 
   367 
   368 .PHONY: deploy2defun-voa
   368 .PHONY: deploy2defun-voa
   369 deploy2sf-voa: voa
   369 deploy2defun-voa: voa
   370 	( \
   370 	( \
   371 echo 'cd $(DEFUN_WWW_DIR)'; \
   371 echo 'cd $(DEFUN_WWW_DIR)'; \
   372 echo "put dist/pdf/voa-special.pdf"; \
   372 echo "put dist/pdf/voa-special.pdf"; \
   373 echo "chmod 644 voa-special.pdf"; \
   373 echo "chmod 644 voa-special.pdf"; \
   374 echo 'quit'; \
   374 echo 'quit'; \