summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMartin Fischer <martin@push-f.com>2021-11-27 09:07:31 +0100
committerMartin Fischer <martin@push-f.com>2021-11-27 12:39:54 +0100
commit395a5f2a1e201ce65e02dbec89af275d14b27824 (patch)
tree65c4b09b743ad40a4eec2823c1f6253030988ad4
parent6bf08656882fa4c3fc6fe799cc0499d244e6ca5f (diff)
html: add credits
-rwxr-xr-xbuild.py7
-rw-r--r--head.html14
2 files changed, 16 insertions, 5 deletions
diff --git a/build.py b/build.py
index 277ea1d..1dba1fb 100755
--- a/build.py
+++ b/build.py
@@ -102,11 +102,8 @@ def write_features(f, feature_data):
with open('target/index.html', 'w') as f:
- f.write('<!doctype html>')
- f.write('<meta charset=utf-8>')
- f.write('<title>Rust features</title>')
- f.write('<h1>Rust features</h1>')
- f.write('<link rel="stylesheet" href="style.css" />')
+ with open('head.html') as h:
+ f.write(h.read())
# TODO: sort by T-lang and T-lib
f.write('<h2>Unstable features</h2>')
diff --git a/head.html b/head.html
new file mode 100644
index 0000000..f0782e8
--- /dev/null
+++ b/head.html
@@ -0,0 +1,14 @@
+<!doctype html>
+<html>
+<head>
+<meta charset=utf-8>
+<title>Rust features</title>
+<link rel="stylesheet" href="style.css" />
+</head>
+<body>
+
+<h1>Rust features</h1>
+
+page generated by <a href="https://push-f.com/">push-f</a>
+from the <a href="https://github.com/jplatte/caniuse.rs">TOML files</a>
+maintained by <a href="https://blog.turbo.fish/">jplatte</a>