% pagenote.4ht (2023-03-22-13:41), generated from tex4ht-4ht.tex % Copyright 2023 TeX Users Group % % This work may be distributed and/or modified under the % conditions of the LaTeX Project Public License, either % version 1.3c of this license or (at your option) any % later version. The latest version of this license is in % http://www.latex-project.org/lppl.txt % and version 1.3c or later is part of all distributions % of LaTeX version 2005/12/01 or later. % % This work has the LPPL maintenance status "maintained". % % The Current Maintainer of this work % is the TeX4ht Project . % % If you modify this program, changing the % version identification would be appreciated. \immediate\write-1{version 2023-03-22-13:41} % patch commands that print note numbers, so we can add links \NewConfigure{notenumintext}{2} \def\:tempa#1{\a:notenumintext\o:notenumintext:{#1}\b:notenumintext} \HLet\notenumintext\:tempa \NewConfigure{notenuminnotes}{2} % we must save the note id in \:currentnoteid, to make it available in \Configure{notenuminnotes} \def\:tempa#1{\def\:currentnoteid{#1}\a:notenuminnotes\o:notenuminnotes:{#1}\b:notenuminnotes} \HLet\notenuminnotes\:tempa \Hinput{pagenote} \endinput