note a bug in directories_have_accepted_server_descriptor() pointed
[tor.git] / doc / Makefile.am
blob8a3c8e75db571b7279f1404791068475332fe0c0
2 EXTRA_DIST = website img HACKING                             \
3              tor-resolve.1                                   \
4              tor-osx-dmg-creation.txt tor-rpm-creation.txt   \
5              tor-win32-mingw-creation.txt
7 man_MANS = tor.1 tor-resolve.1
9 SUBDIRS = design-paper spec
11 DIST_SUBDIRS = design-paper spec
13 website: ../../website/docs/
14         rm -rf website
15         mkdir website
16         if test -d $(srcdir)/../../website ; then \
17                 cd $(srcdir)/../../website && $(MAKE); \
18         fi
19         if test -d $(srcdir)/../../website ; then \
20                 cp $(srcdir)/../../website/docs/tor-*.html.* \
21                         $(srcdir)/../../website/stylesheet.css website; \
22         fi
23 img: ../../website/img/
24         rm -rf img
25         mkdir img
26 #       if test -d $(srcdir)/../../website/img; then \
27 #               cp $(srcdir)/../../website/img/*.png \
28 #                       $(srcdir)/../../website/img/*.jpg img; \
29 #       fi
31 .PHONY: website img