Closed hakonhagland closed 4 months ago
For background, see https://github.com/OPM/opm-reference-manual/pull/203#discussion_r1523590062
Added script to remove undefined span tags from fodt files. A span tag is considered undefined if it refers to a style that is not defined in the document.
For background, see https://github.com/OPM/opm-reference-manual/pull/203#discussion_r1523590062
Added script to remove undefined span tags from fodt files. A span tag is considered undefined if it refers to a style that is not defined in the document.