2
WEB=/var/www/localhost/htdocs/coccinelle/
9
.phony: all html clean check
18
rm -f *.aux *.dvi *.haux *.htoc *.log *.out *~
21
rm -f *.pdf *.html *.gif *.css
28
universe: world install
31
cp *.css *.gif *.html $(WEB)
33
chown apache:apache -R $(WEB)
37
cp *.css *.gif *.html $(EMNWEB)
40
############################################
41
############################################
46
# For Gentoo: /usr/lib64/hevea
47
# For Ubuntu family: /usr/share/hevea
48
# For default installation
49
@if [ -f /usr/lib64/hevea/xxdate.exe ]; then \
50
hevea -exec /usr/lib64/hevea/xxdate.exe $< ; \
51
hevea -exec /usr/lib64/hevea/xxdate.exe $< ; \
52
elif [ -f /usr/share/hevea/xxdate.exe ]; then \
53
hevea -exec /usr/share/hevea/xxdate.exe $< ; \
54
hevea -exec /usr/share/hevea/xxdate.exe $< ; \
55
elif [ -f /usr/local/lib/hevea/xxdate.exe ]; then \
56
hevea -exec /usr/local/lib/hevea/xxdate.exe $< ; \
57
hevea -exec /usr/local/lib/hevea/xxdate.exe $< ; \
59
echo -e "\n\n *** Hevea: Unable to find xxdate.exe ***\n\n"; \
61
hacha -o index.html cocci_syntax.html