Reworked the recipe a bit.

--
user: Michael Guravage <michael.guravage@cwi.nl>
branch 'default'
changed doc/Makefile
changed doc/installation.pdf
changed doc/installation.rst
changed doc/recipe.rst
changed doc/stylesheet.json
changed doc/v1.pdf