diff options
-rw-r--r-- | Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -27,6 +27,8 @@ pms.html: $(SOURCEFILES) pms.bbl @# some www servers ignore meta tags, resulting in a wrong charset. @# therefore recode the very few non-ascii characters recode -d l1..h3 pms.html + @# declare encoding as utf-8, although it is pure ascii + LC_ALL=C sed -i -e '/<?xml\|<meta/s/iso-8859-1/utf-8/' pms.html @# work around irregularity in how links to longtables are @# formatted in the List of Tables LC_ALL=C sed -i -e '/<span class="lotToc" > /{N;N;s/\( <a \nhref="[^"]\+">\)\([0-9A-Z.]\+\)[ \n]/\2\1/}' pms.html |