# HG changeset patch
# User Tassilo Philipp
# Date 1578392041 -3600
# Node ID 59109d1cb17b25cd952d4382e6d4e50db1586522
# Parent b55fec763864c8c529b70ef1e2ffeb6a4d7f0a70
- more html doc tweak: remove dependency on google fonts
diff -r b55fec763864 -r 59109d1cb17b doc/manual/manual_tex4ht.cfg
--- a/doc/manual/manual_tex4ht.cfg Tue Jan 07 10:49:23 2020 +0100
+++ b/doc/manual/manual_tex4ht.cfg Tue Jan 07 11:14:01 2020 +0100
@@ -50,7 +50,6 @@
\Configure{@HEAD}{\HCode{\Hnewline}}
\Configure{@HEAD}{\HCode{\Hnewline}}
\Configure{@HEAD}{\HCode{\Hnewline}}
-\Configure{@HEAD}{\HCode{\Hnewline}}
% should this really rely on online content (dyncall's .css) even for an offline build? @@@
\Configure{@HEAD}{\HCode{\Hnewline}}