19 Commits

Author SHA1 Message Date
5dbfb369d5 [DOCS]: Update copyright year (#24343) 2022-02-07 10:31:20 +01:00
6fdb770d95 docs: update copyright year (#23352) 2021-08-08 15:46:06 +02:00
e9a6e73c54 docs: better syntax highlighting (#21959) 2020-12-07 20:33:03 +01:00
c1f25f83ad docs: reenabled syntax highlighting (#21954) 2020-12-03 21:10:42 +01:00
76bc99158d [DOCS] add search box (#20251)
This adds a search box (powered by DuckDuckGo site search) to the
navbar.
2019-11-07 15:25:36 +01:00
a1acfc1efe fix 'edit page' link 2019-10-28 17:48:45 +01:00
807261c625 remove path debugging from the template 2019-10-28 17:00:25 +01:00
f65757fc52 [DOCS] Add edit page link (#20200) 2019-10-28 16:52:02 +01:00
d0eea91981 [DOCS] Link checker (#20086) 2019-10-28 16:45:19 +01:00
8e49d1571d Move all documentation below /docs (#20072)
* Move pages one level deeper under the /docs folder and fix broken links

* Fix broken links

* Flatten clef/qubes links to clef

* Remove path debugging from main template
2019-10-01 10:40:09 +02:00
1122480aa3 docs: major overhaul (#19395) 2019-04-05 00:21:15 +02:00
8852ed6db8 Fix navbar links, fixes #19342 2019-03-28 15:07:06 +01:00
6c9d709310 re-add jekyll changes without the wiki pages 2019-03-27 09:31:41 +01:00
161b15f9e4 Revert "Move wiki pages to github pages (#18497)"
This reverts commit 40eb803de1.
2019-03-25 13:43:46 +01:00
9bced61ec2 Fix link to the site root 2019-03-22 16:49:08 +01:00
8fd349bf7e Remove debug message 2019-03-21 15:37:07 +01:00
aa9c2d2b00 Use page.root for relative links 2019-03-21 15:33:28 +01:00
ad91ddbe37 debugging site.baseurl 2019-03-21 12:19:57 +01:00
40eb803de1 Move wiki pages to github pages (#18497) 2019-03-21 10:35:00 +01:00