docs: WiP, uncommitted changes I might not want to lose
This commit is contained in:
parent
88f6870bca
commit
16f5d1ec66
1
.gitignore
vendored
1
.gitignore
vendored
|
@ -1,4 +1,5 @@
|
||||||
/adminer/adminer.css
|
/adminer/adminer.css
|
||||||
/adminer*.php
|
/adminer*.php
|
||||||
/editor*.php
|
/editor*.php
|
||||||
|
/.phpdoc/
|
||||||
/vendor/
|
/vendor/
|
||||||
|
|
|
@ -1,3 +1,5 @@
|
||||||
|
# ~/Downloads/phpDocumentor.phar --template=docs/phpdoc-template/ -f adminer/include/adminer.inc.php -f adminer/include/functions.inc.php -f adminer/include/lang.inc.php -f adminer/include/driver.inc.php -f adminer/include/editing.inc.php -f adminer/drivers/mysql.inc.php
|
||||||
|
|
||||||
site_name: AdminerEvo
|
site_name: AdminerEvo
|
||||||
site_description: AdminerEvo documentation
|
site_description: AdminerEvo documentation
|
||||||
docs_dir: docs/
|
docs_dir: docs/
|
||||||
|
@ -12,6 +14,7 @@ theme:
|
||||||
- toc.integrate
|
- toc.integrate
|
||||||
- content.code.annotate
|
- content.code.annotate
|
||||||
favicon: assets/favicon.png
|
favicon: assets/favicon.png
|
||||||
|
font: false
|
||||||
extra_css:
|
extra_css:
|
||||||
- assets/local.css
|
- assets/local.css
|
||||||
markdown_extensions:
|
markdown_extensions:
|
||||||
|
|
Loading…
Reference in a new issue