diff options
Diffstat (limited to 'GNUmakefile')
-rw-r--r-- | GNUmakefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/GNUmakefile b/GNUmakefile index 94c46ee..eac3473 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -193,13 +193,13 @@ doc: .document $(ext)/unicorn_http.c man html .olddoc.yml $(PLACEHOLDERS) install -m644 $(man1_paths) doc/ tar cf - $$(git ls-files examples/) | (cd doc && tar xf -) -# publishes docs to https://bogomips.org/unicorn/ +# publishes docs to https://yhbt.net/unicorn/ publish_doc: -git set-file-times $(MAKE) doc $(MAKE) doc_gz chmod 644 $$(find doc -type f) - $(RSYNC) -av doc/ bogomips.org:/srv/bogomips/unicorn/ + $(RSYNC) -av doc/ yhbt.net:/srv/yhbt/unicorn/ git ls-files | xargs touch # Create gzip variants of the same timestamp as the original so nginx |