Branch: refs/heads/master Home: https://github.com/phpmyadmin/scripts Commit: 60992f3b7a0d1a4d9f7cdc83288e5015ffb271a1 https://github.com/phpmyadmin/scripts/commit/60992f3b7a0d1a4d9f7cdc83288e50… Author: William Desportes <williamdes(a)wdes.fr> Date: 2020-07-19 (Sun, 07 July 2020) +02:00 Changed paths: A develdocs/doctum.php M develdocs/build.sh M develdocs/composer.json D develdocs/sami.php Log Message: ----------- Use Doctum in replacement of Sami Signed-off-by: William Desportes <williamdes(a)wdes.fr> Commit: bcaccbeeaa5f1446c2e1bda41aa288e437a58f4a https://github.com/phpmyadmin/scripts/commit/bcaccbeeaa5f1446c2e1bda41aa288… Author: William Desportes <williamdes(a)wdes.fr> Date: 2020-07-19 (Sun, 07 July 2020) +02:00 Changed paths: A develdocs/doctum.php M develdocs/build.sh M develdocs/composer.json D develdocs/sami.php Log Message: ----------- Merge #29 - Fixes #27 - documentation is not building