30 commits

Author	SHA1	Message	Date
Unrud	bca74e499f	Verify pandoc checksum	2021-12-01 23:15:59 +01:00
Unrud	22016b358f	Revert "Update pandoc" ... This reverts commit 50bf568521.	2021-12-01 23:03:19 +01:00
Unrud	50bf568521	Update pandoc	2021-12-01 22:57:50 +01:00
Unrud	138d70fa98	Add configuration for redirects	2021-12-01 22:48:51 +01:00
Unrud	d14688107e	Convert without temporary file	2021-03-23 00:12:42 +01:00
Unrud	5b89726ba0	Change title	2020-05-22 16:44:29 +02:00
Unrud	6a9d090cc2	Improve page title	2020-05-19 03:50:50 +02:00
Unrud	237a66eff8	Add branch to title	2020-04-24 14:51:00 +02:00
Unrud	9586722387	Finish all checks before failing	2020-04-18 13:36:27 +02:00
Unrud	958150ae61	Check for duplicate ids and dead internal links	2020-04-18 13:02:07 +02:00
Unrud	8a40233824	Specify selectors	2020-04-18 13:02:07 +02:00
Unrud	010fd02601	Add arrow to branch drop-down menu	2020-04-04 15:30:03 +02:00
Unrud	ed54787e8c	Fix navigation on Android Chrome	2020-03-23 20:49:08 +01:00
Unrud	01f8e976e1	Switch to new website	2020-03-02 03:04:37 +01:00
Unrud	ccf70efff6	Add newsfeed link to index.html	2020-03-01 23:11:52 +01:00
Unrud	78c1b71440	Remove legacy shortcut keyword	2020-03-01 23:01:08 +01:00
Unrud	b9c93d3e11	Implement side menu for narrow screens	2020-03-01 20:12:40 +01:00
Unrud	9e45594130	Fix removal of all docs	2020-03-01 01:30:05 +01:00
Unrud	cdc3c6c31e	Remove .x from branch names	2020-03-01 01:03:59 +01:00
Unrud	0d7e746708	Remove X-UA-Compatible header	2020-02-27 15:29:21 +01:00
Unrud	03f69d0972	Handle .x in branch names	2020-02-27 15:02:30 +01:00
Unrud	053dc33dbb	Revert permalinks	2020-02-27 15:02:30 +01:00
Unrud	eba6583f96	Add trailing / to permalinks	2020-02-27 14:45:13 +01:00
Unrud	7c44c9ca14	Use absolute permalinks ... Relative links don't work as expected	2020-02-27 14:39:15 +01:00
Unrud	d29434d8af	Use relative permalinks	2020-02-27 14:36:09 +01:00
Unrud	06f0815d79	Use permalinks	2020-02-27 14:32:22 +01:00
Unrud	3c434f4efe	Order branches	2020-02-27 14:26:38 +01:00
Unrud	275246b0e4	Commit index.html	2020-02-27 03:51:11 +01:00
Unrud	1546fb5b8b	Redirect to documentation of default branch	2020-02-27 03:42:49 +01:00
Unrud	bbfae8c131	Move documentation-tools/ to documentation-generator/	2020-02-27 03:42:49 +01:00