# HG changeset patch
# User Tassilo Philipp
# Date 1578390563 -3600
# Node ID b55fec763864c8c529b70ef1e2ffeb6a4d7f0a70
# Parent  ab2d78e48ca2b88375564b9471218a1ad4b3c352
- fix a url in doc gen

diff -r ab2d78e48ca2 -r b55fec763864 doc/manual/manual_tex4ht.cfg
--- a/doc/manual/manual_tex4ht.cfg	Sat Jan 04 23:00:02 2020 +0100
+++ b/doc/manual/manual_tex4ht.cfg	Tue Jan 07 10:49:23 2020 +0100
@@ -52,7 +52,7 @@
 \Configure{@HEAD}{\HCode{<meta name="distribution"  content="global"/>\Hnewline}}
 \Configure{@HEAD}{\HCode{<link rel="stylesheet" id="dyn-fonts-css" href="https://fonts.googleapis.com/css?family=Open+Sans:400,700&amp;subset=latin,latin-ext" type="text/css" media="all"/>\Hnewline}}
 % should this really rely on online content (dyncall's .css) even for an offline build? @@@
-\Configure{@HEAD}{\HCode{<link rel="stylesheet" href="http://dyncall.org/data/main.css" type="text/css" media="all"/>\Hnewline}}
+\Configure{@HEAD}{\HCode{<link rel="stylesheet" href="https://dyncall.org/data/main.css" type="text/css" media="all"/>\Hnewline}}
 
 % Image path prefix can be set here...
 %\Configure{IMG}