diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-01-18 12:38:35 +0100 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-01-19 06:09:01 +0100 |
| commit | e6711212505f5426a6f5707445b04a14e17e55ee (patch) | |
| tree | 6b26724de737c37e1de16894bbced0453d5f07e4 /gnu/services | |
| parent | c2c73f583d401a84e94a1e1e5b61da9c41f15683 (diff) | |
| download | patches-e6711212505f5426a6f5707445b04a14e17e55ee.tar patches-e6711212505f5426a6f5707445b04a14e17e55ee.tar.gz | |
gnu: Use HTTPS for docbook.org.
* gnu/packages/docbook.scm (docbook-xml)[home-page, source]: Use HTTPS.
(docbook-xml-4.4, docbook-xml-4.3, docbook-xml-4.2, docbook-xml-4.1.2)
[source]: Likewise.
(docbook-xsl)[home-page]: Likewise.
Diffstat (limited to 'gnu/services')
0 files changed, 0 insertions, 0 deletions