#!/bin/sh

set -e

# We cannot use
#   <!ENTITY styles SYSTEM "https://www.mpfr.org/styles/visual.css">
# in faq.xsl since libxml2 still does not support https! And http
# can no longer be used due to HSTS (it is insecure anyway).
rm -f visual.css
wget --no-config -q https://www.mpfr.org/styles/visual.css

wget --no-config -q -O - https://www.mpfr.org/faq.html | \
  xsltproc --nodtdattr faq.xsl - > FAQ.html

rm visual.css