Update makefile for docs:
authorgggeek <giunta.gaetano@gmail.com>
Sun, 2 Feb 2014 19:54:35 +0000 (20:54 +0100)
committergggeek <giunta.gaetano@gmail.com>
Sun, 2 Feb 2014 19:54:35 +0000 (20:54 +0100)
commitce636cdbf294ff68e3e0c6a539e8c6688936b6e5
treebe1f28faec05b60af8f785387988e7421e68da88
parent774fe7d9d30a404965babd6d5c7c03c38360cace
Update makefile for docs:
- newer phpdocumentor
- doc-generating tools are moved to a different directory
doc/Makefile
doc/custom.fo.xsl
doc/custom.xsl