Re: Use CUSTOM_ID for outline-containers during HTML export

Hi Yann, "Yann Esposito (yogsototh)" writes: > I would like to submit a simple patch that could make the HTML > exporter closer to reproductible build. I have given a bit more > information in my commit below. I applied your patch in the master branch, thanks. -- Bastien

[O] Use CUSTOM_ID for outline-containers during HTML export

Hello, I would like to submit a simple patch that could make the HTML exporter closer to reproductible build. I have given a bit more information in my commit below. From 5d59d1e0b10430830aff77c17be1d37bb9e898bc Mon Sep 17 00:00:00 2001 From: "Yann Esposito (Yogsototh)" Date: Mon, 5 Aug 2019