W05: Doctesting

During week five I continued my work on the Bulma front end implementation (#1043) and cleaning up the doctest = :only PR (#774).

Doctesting. As I was preparing testing the doctest = :only branch with the Julia manual and preparing JuliaLang/julia#32376, I came across several outdated doctests and a few other issues in the main manual, that were not caught with the current doctesting system. So I prepared two prerequisite PRs to fix those: JuliaLang/julia#32417 and JuliaLang/julia#32431.

Bulma frontend. I also continued working on the Bulma implementation in Documenter (#1043). Updated builds of Documenter's manual and the Julia manual with the new implementation are available too.

Other. At the end of the week is also prepared a tiny PR to consistently handle pages that are not passed in the pages argument (#1047). Currently, all the at-blocks are evaluated, but not HTML output is actually generated. That PR makes sure that the HTML page is also generated, even if there are no navigation links to it.

I also spent a little bit of time on learning how the Julia docsystem (i.e. Base.Docs) works. Docsystem internals contains a set of rough notes.

Next week.

• Merge the open PRs: #774, #1047
• Continue working on the Bulma front end implementation (TODO list in the issue, #1043)
• Start implementing theming tools in DocumenterTools.jl