Closed mmontone closed 3 years ago
The docs build gets broken from time to time, and I'm getting tired of it.
I'm considering moving it to something else, more stable. I like TexInfo and cl-docweaver.
Done
The docs build gets broken from time to time, and I'm getting tired of it.
I'm considering moving it to something else, more stable. I like TexInfo and cl-docweaver.