diff options
| author | Ben Wiederhake <BenWiederhake.GitHub@gmx.de> | 2016-07-09 19:48:14 +0200 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2016-07-09 19:48:14 +0200 |
| commit | 6cfcd2e1baf314842714618adff16504a3f73789 (patch) | |
| tree | 43dbd5963cafd1448f66a625ec292b73d876170f /src/ghdldrv/ghdlprint.adb | |
| parent | f218907306bb64565ceecae98b1515f979b96737 (diff) | |
| download | ghdl-6cfcd2e1baf314842714618adff16504a3f73789.tar.gz ghdl-6cfcd2e1baf314842714618adff16504a3f73789.tar.bz2 ghdl-6cfcd2e1baf314842714618adff16504a3f73789.zip | |
Clean up links, repository-wide (#117)
* https: ieee.org
* https: readthedocs
* https: technet.com
* https: debian.org
* https: w3.org
* Fix or mark dead links
Diffstat (limited to 'src/ghdldrv/ghdlprint.adb')
| -rw-r--r-- | src/ghdldrv/ghdlprint.adb | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/ghdldrv/ghdlprint.adb b/src/ghdldrv/ghdlprint.adb index ca0722a78..97f54ebde 100644 --- a/src/ghdldrv/ghdlprint.adb +++ b/src/ghdldrv/ghdlprint.adb @@ -466,8 +466,8 @@ package body Ghdlprint is end case; --Put_Line ("<?xml version=""1.0"" encoding=""utf-8"" ?>"); --Put_Line("<!DOCTYPE html PUBLIC ""-//W3C//DTD XHTML 1.0 Strict//EN"""); - --Put_Line ("""http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"">"); - --Put_Line ("<html xmlns=""http://www.w3.org/1999/xhtml""" + --Put_Line ("""https://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"">"); + --Put_Line ("<html xmlns=""https://www.w3.org/1999/xhtml""" -- & " xml:lang=""en"">"); --Put_Line ("<head>"); end Put_Html_Header; |