diff options
| -rw-r--r-- | doc/Makefile.am | 16 |
1 files changed, 11 insertions, 5 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index a7d162ae66..908db6e722 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -8,15 +8,21 @@ SUBDIRS = design-paper DIST_SUBDIRS = design-paper website: ../../website/docs/ - cd $(srcdir)/../../website && $(MAKE) rm -rf website mkdir website - cp $(srcdir)/../../website/docs/tor-*.html.* \ - $(srcdir)/../../website/stylesheet.css website + if test -d $(srcdir)/../../website ; then \ + cd $(srcdir)/../../website && $(MAKE); \ + fi + if test -d $(srcdir)/../../website ; then \ + cp $(srcdir)/../../website/docs/tor-*.html.* \ + $(srcdir)/../../website/stylesheet.css website; \ + fi img: ../../website/img/ rm -rf img mkdir img - cp $(srcdir)/../../website/img/*.png \ - $(srcdir)/../../website/img/*.jpg img + if test -d $(srcdir)/../../website/img; then \ + cp $(srcdir)/../../website/img/*.png \ + $(srcdir)/../../website/img/*.jpg img; \ + fi .PHONY: website img |