summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Karl O. Pinc [Wed, 10 May 2023 02:27:15 +0000 (21:27 -0500)]
Add support for different pdf paper size output
Karl O. Pinc [Wed, 10 May 2023 01:17:15 +0000 (20:17 -0500)]
Make pdf generation work
Karl O. Pinc [Wed, 10 May 2023 00:55:27 +0000 (19:55 -0500)]
Keep sphinx venv under revision control
Karl O. Pinc [Tue, 9 May 2023 23:57:19 +0000 (18:57 -0500)]
Improve comments
Karl O. Pinc [Tue, 9 May 2023 23:39:20 +0000 (18:39 -0500)]
Display page generation time in UTC
Karl O. Pinc [Tue, 9 May 2023 22:11:20 +0000 (17:11 -0500)]
Separate target dirs for local and non-local html
Since local html now uses a html builder but non-local html uses
dirhtml, sharing a target directory results is "extra stuff"
leftover from the other kind of build. We don't want that.
Karl O. Pinc [Tue, 9 May 2023 21:58:04 +0000 (16:58 -0500)]
Better comment
Karl O. Pinc [Tue, 9 May 2023 21:57:47 +0000 (16:57 -0500)]
No need for recursive expansion as source files are not dynamic
Karl O. Pinc [Tue, 9 May 2023 21:54:11 +0000 (16:54 -0500)]
Better comment
Karl O. Pinc [Tue, 9 May 2023 21:44:57 +0000 (16:44 -0500)]
Better variable names and comments
Karl O. Pinc [Tue, 9 May 2023 21:43:36 +0000 (16:43 -0500)]
Get rid of extra variable
Karl O. Pinc [Tue, 9 May 2023 21:31:42 +0000 (16:31 -0500)]
Better comments
Karl O. Pinc [Tue, 9 May 2023 20:56:23 +0000 (15:56 -0500)]
Move generated RST epilog files into doc/sphinx-doc/.
Karl O. Pinc [Tue, 9 May 2023 16:49:33 +0000 (11:49 -0500)]
Build system for text docs -- images not yet supported