diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
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/ |