From d5464a0c29a54c58e87063e11f636679e744cc00 Mon Sep 17 00:00:00 2001 From: Aleš Mrázek Date: Mon, 15 Jan 2024 23:19:47 +0100 Subject: doc: separate user and developer documentation This separates the documentation into a *blue* user documentation and a *red* developer documentation, resolving problems where similar sections collided in search queries, leading users to the advanced Lua config documentation instead of the preferred declarative config one. It also visually separates the two parts, so that users who do not wish to meddle in Lua immediately see that they're somewhere wrong just by seeing the red colour. --- .gitignore | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to '.gitignore') diff --git a/.gitignore b/.gitignore index c79ea467..32789e7c 100644 --- a/.gitignore +++ b/.gitignore @@ -45,8 +45,8 @@ /daemon/lua/trust_anchors.lua /depcomp /distro/tests/*/.vagrant -/doc/.doctrees -/doc/doxyxml +/doc/**/.doctrees +/doc/**/doxyxml /doc/html /doc/kresd.8 /doc/texinfo -- cgit v1.2.3