diff options
| author | Marc Vertes <mvertes@free.fr> | 2023-05-09 13:26:46 +0200 |
|---|---|---|
| committer | Marc Vertes <mvertes@free.fr> | 2023-05-09 13:26:46 +0200 |
| commit | 397f73d7d239df6db162a2a22dc2db0b794b865b (patch) | |
| tree | 0f57b22a9a68ab75705f8aaa5027508fe8d2f6bb | |
| parent | a501e2d244394b376f87736c4cb07ddc94ef798e (diff) | |
valid HTML
| -rwxr-xr-x | build.sh | 4 | ||||
| -rw-r--r-- | index.html | 2 | ||||
| -rw-r--r-- | yaegi-internals/index.html | 2 |
3 files changed, 4 insertions, 4 deletions
@@ -1,7 +1,6 @@ #!/bin/sh -header='<!DOCTYPE html> -<meta charset="UTF-8"> +header='<meta charset="UTF-8"> <meta name="viewport" content="width=device-width, initial-scale=1"> <style> body { @@ -29,6 +28,7 @@ genhtml() ( exec 1>index.html # Header + echo "<!DOCTYPE html>" echo "<title>$title</title>" echo "<!-- generated by build.sh. DO NOT EDIT. -->" echo "$header" @@ -1,6 +1,6 @@ +<!DOCTYPE html> <title>Marc's Programming Notes</title> <!-- generated by build.sh. DO NOT EDIT. --> -<!DOCTYPE html> <meta charset="UTF-8"> <meta name="viewport" content="width=device-width, initial-scale=1"> <style> diff --git a/yaegi-internals/index.html b/yaegi-internals/index.html index 6c8eb55..50fcca0 100644 --- a/yaegi-internals/index.html +++ b/yaegi-internals/index.html @@ -1,6 +1,6 @@ +<!DOCTYPE html> <title>Yaegi Internals</title> <!-- generated by build.sh. DO NOT EDIT. --> -<!DOCTYPE html> <meta charset="UTF-8"> <meta name="viewport" content="width=device-width, initial-scale=1"> <style> |