3 commits

Author	SHA1	Message	Date
redfast00	4327b0ba9c	Implement caching in docs build	2021-07-31 05:55:15 +02:00
redfast00	89674db720	Install texlive-full in builder	2021-07-31 03:58:18 +02:00
redfast00	9d86e1d072	Add GitHub action to build docs	2021-07-31 03:55:34 +02:00