make makefile for docs compatible with php 5.6
authorgggeek <giunta.gaetano@gmail.com>
Sat, 1 Jul 2017 19:15:42 +0000 (20:15 +0100)
committergggeek <giunta.gaetano@gmail.com>
Sat, 1 Jul 2017 19:15:42 +0000 (20:15 +0100)
commite885361eab7c181fe3b2e6923ced3de43ba3e285
tree816f3ca9d825d62ab96a6dd12cfb7e354ddc7867
parentf6dc9d4441414596edab4f82f912d4b757628b79
make makefile for docs compatible with php 5.6
doc/convert.php