From 433102f424c6a9d6d6a5fd771b0244c836bb48fa Mon Sep 17 00:00:00 2001 From: dakkar Date: Fri, 10 Feb 2023 12:45:24 +0000 Subject: update most links https, re-point some dead ones --- src/index/document.en.rest.txt | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'src/index/document.en.rest.txt') diff --git a/src/index/document.en.rest.txt b/src/index/document.en.rest.txt index d93ef8c..197e41d 100644 --- a/src/index/document.en.rest.txt +++ b/src/index/document.en.rest.txt @@ -22,13 +22,13 @@ want, you can follow updates with the `Atom feeds`_: there is a global feed, and a dedicated feed for each tag. .. _`xml`: - http://www.w3.org/TR/REC-xml + https://www.w3.org/TR/REC-xml .. _`gnu make`: - http://www.gnu.org/software/make/make.html + https://www.gnu.org/software/make/make.html .. _`xslt`: - http://www.w3.org/TR/xslt + https://www.w3.org/TR/xslt .. _sitemake: /SW/sitemake/ @@ -37,9 +37,9 @@ feed, and a dedicated feed for each tag. /SW/WebCoso/ .. _`xweb`: - http://xweb.sourceforge.net + https://xweb.sourceforge.net .. _ReST: - http://docutils.sourceforge.net/ + https://docutils.sourceforge.net/ .. _`Atom feeds`: /feed.en.xml -- cgit v1.2.3