On Thu, 2025-01-16 at 22:58 +0800, Gerald Pfeifer wrote: > On Wed, 15 Jan 2025, David Malcolm wrote: > > The heading elements in our website contain "id" information, > > but currently to find them you to look at the page source, > > whereas in the generated HTML for the manual we have e.g.: > > > > <a class="copiable-link" href="#index-mabi-1"> ¶</a> > > > > which shows up nicely in the browser in e.g. > > https://gcc.gnu.org/onlinedocs/gcc/ARM-Options.html > : > > It's *very* helpful to have easily shareable links to within pages. > > Absolutely agreed. > > > I've never managed to build MetaHTML and have always just crossed > > my > > fingers and hoped when making edits to the GCC website; > > bin/preprocess > > just errors out for me immediately due to not finding mhc. > > Yes, sadly the GNU project let MetaHTML die (though I raised this > more > than once). I still think the concept as such was fine and it served > us > well over the years, but building has been challenging 20 years ago > and > would require some fierce source code editing nowadays. :-( > > > So this patch as written replaces the invocation of mhc with an > > invocation of the python script, which of course drops various > > features. > > Yeah! I was hoping we could return to your script. IIRC I once pinged > and > you were busy; happy to collaborate on finishing this up.
As it happens, I had entirely forgotten about this earlier work until you and Joseph mentioned it. For reference the old patch is here: https://gcc.gnu.org/legacy-ml/gcc-patches/2018-06/msg00176.html Maybe I can allocate some cycles in stage 4 to fully eliminating mhc from the website build. Dave
