diff options
| author | Mike Gerwitz <mtg@gnu.org> | 2015-05-16 02:00:44 -0400 |
|---|---|---|
| committer | Mike Gerwitz <mtg@gnu.org> | 2015-05-16 02:00:44 -0400 |
| commit | 380893a559d1d95133b39173235c6499aefc553e (patch) | |
| tree | 341a9515332265b4c2b487d0018c14a8c8df27e6 /Makefile | |
| parent | 508981884a9edc82e65452d911e36b416acb49ca (diff) | |
| download | thoughts-380893a559d1d95133b39173235c6499aefc553e.tar.gz thoughts-380893a559d1d95133b39173235c6499aefc553e.tar.bz2 thoughts-380893a559d1d95133b39173235c6499aefc553e.zip | |
GH e-mail correspondence
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 6 |
1 files changed, 4 insertions, 2 deletions
@@ -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/ |