[phpMyAdmin Git] [phpmyadmin/scripts] aa6a81: Update devel documentation building script

5 Jan 2016

      Branch: refs/heads/master
  Home:   https://github.com/phpmyadmin/scripts
  Commit: aa6a817681175aa01cd0287c480b59157713ca32
      https://github.com/phpmyadmin/scripts/commit/aa6a817681175aa01cd0287c480b591...
  Author: Michal Čihař <michal@cihar.com>
  Date:   2016-01-05 (Tue, 05 Jan 2016)

  Changed paths:
    M website/pma-docs

  Log Message:
  -----------
  Update devel documentation building script

We are now using phpdox.

Signed-off-by: Michal Čihař <michal@cihar.com>