From f3058b66ddb6783fb5b17d84e2b00516b02327f5 Mon Sep 17 00:00:00 2001 From: Fabian Keil <fk@fabiankeil.de> Date: Wed, 9 Dec 2020 14:54:36 +0100 Subject: [PATCH] Upgrade URL to https:// --- doc/source/developer-manual.sgml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/source/developer-manual.sgml b/doc/source/developer-manual.sgml index e5c1aeab..cfa605e1 100644 --- a/doc/source/developer-manual.sgml +++ b/doc/source/developer-manual.sgml @@ -324,7 +324,7 @@ Hal. <para> All formal documents are maintained in Docbook SGML and located in the <computeroutput>doc/source/*</computeroutput> directory. You will need - <ulink url="http://www.docbook.org">Docbook</ulink>, the Docbook + <ulink url="https://www.docbook.org/">Docbook</ulink>, the Docbook DTD's and the Docbook modular stylesheets (or comparable alternatives), and either <application>jade</application> or <application>openjade</application> (recommended) installed in order to -- 2.49.0