diff options
| -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> |