Mike Gerwitz

Activist for User Freedom

aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMike Gerwitz <mike@mikegerwitz.com>2013-05-25 11:09:26 -0400
committerMike Gerwitz <mike@mikegerwitz.com>2013-05-25 11:51:42 -0400
commit7011f93b733bb47fb9d0f98908b985d3339eff49 (patch)
treeb1d43060c8673804f44a1c3db7046922f509758a /Makefile
parentc4e460564b30e3f0e9f8eb7f8b500119a896200e (diff)
downloadthoughts-7011f93b733bb47fb9d0f98908b985d3339eff49.tar.gz
thoughts-7011f93b733bb47fb9d0f98908b985d3339eff49.tar.bz2
thoughts-7011f93b733bb47fb9d0f98908b985d3339eff49.zip
Index menu generation
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 072fda0..2a633bb 100644
--- a/Makefile
+++ b/Makefile
@@ -52,7 +52,7 @@ thoughts:
articles: $(articles)
www-root: articles thoughts
mkdir -p www-root/papers
- ( cd docs/ && find . -name '*.html' -exec cp {} ../www-root/{} \; )
+ ( cd docs/ && find . -name '*.html' -exec ../tools/doc-cp {} ../www-root/{} \; )
cp -r images/ www-root/
cp style.css www-root/
ln -sf ../images www-root/papers/images