From 16f5d1ec66662b9fe9e05c1b1fdb475c8b159496 Mon Sep 17 00:00:00 2001
From: Gerry Demaret <oss@x-net.be>
Date: Mon, 16 Oct 2023 10:20:42 +0200
Subject: [PATCH] docs: WiP, uncommitted changes I might not want to lose

---
 .gitignore | 1 +
 mkdocs.yml | 3 +++
 2 files changed, 4 insertions(+)

diff --git a/.gitignore b/.gitignore
index 2afb1ac5..f8e29de1 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,4 +1,5 @@
 /adminer/adminer.css
 /adminer*.php
 /editor*.php
+/.phpdoc/
 /vendor/
diff --git a/mkdocs.yml b/mkdocs.yml
index a499b5b5..4e80e508 100644
--- a/mkdocs.yml
+++ b/mkdocs.yml
@@ -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_description: AdminerEvo documentation
 docs_dir: docs/
@@ -12,6 +14,7 @@ theme:
     - toc.integrate
     - content.code.annotate
   favicon: assets/favicon.png
+  font: false
 extra_css:
   - assets/local.css
 markdown_extensions: