Mike Gerwitz

Activist for User Freedom

aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMike Gerwitz <mtg@gnu.org>2015-05-16 02:00:44 -0400
committerMike Gerwitz <mtg@gnu.org>2015-05-16 02:00:44 -0400
commit380893a559d1d95133b39173235c6499aefc553e (patch)
tree341a9515332265b4c2b487d0018c14a8c8df27e6 /Makefile
parent508981884a9edc82e65452d911e36b416acb49ca (diff)
downloadthoughts-380893a559d1d95133b39173235c6499aefc553e.tar.gz
thoughts-380893a559d1d95133b39173235c6499aefc553e.tar.bz2
thoughts-380893a559d1d95133b39173235c6499aefc553e.zip
GH e-mail correspondence
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile6
1 files changed, 4 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 4621042..8479b69 100644
--- a/Makefile
+++ b/Makefile
@@ -86,8 +86,10 @@ www-root: docs thoughts
&& find . -maxdepth 2 -name '*.html' -exec ../tools/doc-cp {} ../www-root/{} \; \
&& find . -maxdepth 3 \( -name '*.pdf' -o -name '*.dvi' \) -exec cp {} ../www-root/{} \; \
)
- cp -r images/ www-root/
- cp style.css www-root/
+ cp -rv images/ www-root/
+ cp -v style.css www-root/
+ mkdir -p www-root/docs
+ cp -rv docs/gh/ www-root/docs/
clean:
rm -rf www-root/