mirror of
https://github.com/phpredis/phpredis.git
synced 2026-06-19 07:35:31 +00:00
michael-grunder
377 B
377 B
API Documentation
curl -O https://doctum.long-term.support/releases/latest/doctum.phar
chmod +x doctum.phar
./doctum.phar update doctum-config.php
The build uses a custom Doctum theme stored in doctum-theme/ so that extra
assets such as highlight.js are bundled with the generated HTML. Keep that
directory in sync if you ever update Doctum upstream assets.