diff options
-rw-r--r-- | manual/Makefile | 3 | ||||
-rwxr-xr-x | publish | 13 |
2 files changed, 13 insertions, 3 deletions
diff --git a/manual/Makefile b/manual/Makefile index 5758d734..5bfc78ea 100644 --- a/manual/Makefile +++ b/manual/Makefile @@ -23,6 +23,3 @@ manual.html: Makefile $(sources) ../obnam.css clean: rm -f $(outputs) 000.mdwn - -publish: $(outputs) - rsync $(outputs) code.liw.fi:code.liw.fi/obnam/manual/. diff --git a/publish b/publish new file mode 100755 index 00000000..c03c2a1c --- /dev/null +++ b/publish @@ -0,0 +1,13 @@ +#!/bin/sh +# +# This is a script Lars Wirzenius uses to publish docs on the Internet. +# It's not useful for anyone else, as it requires access to the right +# host. +# +# It is assumed that the docs have been built already. + +host="pieni.net" +path="code.liw.fi/obnam" + +rsync manual/manual.pdf manual/manual.html "$host:$path/manual/." +rsync yarns/yarns.pdf yarns/yarns.html "$host:$path/" |