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)
- newer phpdocumentor
- doc-generating tools are moved to a different directory


No differences found