Merge branch 'rtoy-html-support-external-docs'
commit672c0baea0442487b275a6e83740381210b878c6
authorRaymond Toy <toy.raymond@gmail.com>
Mon, 19 Aug 2024 16:43:34 +0000 (19 09:43 -0700)
committerRaymond Toy <toy.raymond@gmail.com>
Mon, 19 Aug 2024 16:43:34 +0000 (19 09:43 -0700)
treed5a49e6968b829a7ccb15aed1985bd7950066b34
parentd9602d40bdc2f7acf3c38279a316759178886086
parent241b20f89d94eda9f335c50bbe445f368eb7592d
Merge branch 'rtoy-html-support-external-docs'

Updates `build_and_dump_html_index` to support other documents that
aren't part of the Maxima user manual.