From 2d9aabefff1e6a2c800ea851502a21aae43457f7 Mon Sep 17 00:00:00 2001
From: Quentin Carbonneaux <quentin.carbonneaux@yale.edu>
Date: Thu, 17 Mar 2016 13:01:46 -0400
Subject: add sync target in doc/ Makefile

---
 doc/Makefile | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'doc')

diff --git a/doc/Makefile b/doc/Makefile
index 2d1f040..efa6294 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -1,4 +1,4 @@
-.PHONY: all clean
+.PHONY: all clean sync
 
 DOCS = abi il
 
@@ -21,3 +21,6 @@ html/%.html: %.txt
 	  sed -e '1,3d' $< | ocaml txt/txt.ml; \
 	  echo '</div>'; \
 	) > $@
+
+sync:
+	scp html/* h:/srv/data/w/compile/doc/
-- 
cgit 1.4.1