diff options
Diffstat (limited to 'src/index/document.en.rest.txt')
-rw-r--r-- | src/index/document.en.rest.txt | 10 |
1 files changed, 5 insertions, 5 deletions
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 |