diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -83,7 +83,6 @@ www-root: docs thoughts ) cp -r images/ www-root/ cp style.css www-root/ - ln -sf ../images www-root/papers/images clean: rm -rf www-root/ |