ciao.user.guide.pdf: ciao.user.guide.tex include.tex
	pdflatex ciao.user.guide.tex
	pdflatex ciao.user.guide.tex
