Add version numbers to title pages of versioned docs (#409)

* snarf docs

* trying to figure out custom headers

* drop head.html

* more docs

* typo
This commit is contained in:
aiuto 2021-08-16 20:37:25 -04:00 committed by GitHub
parent ae9d09cd9f
commit 8e5f15c14e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 6 additions and 5 deletions

View File

@ -1,5 +1,5 @@
<meta name="robots" content="noindex,nofollow">
# rules_pkg - reference
# rules_pkg - 0.4.0
<div class="toc">
<h2>Rules</h2>

View File

@ -1,5 +1,5 @@
<meta name="robots" content="noindex,nofollow" >
# rules_pkg - reference
<meta name="robots" content="noindex,nofollow">
# rules_pkg - 0.5.0
<div class="toc">
<h2>Rules</h2>

View File

@ -1,5 +1,6 @@
<!-- Setup Google Analytics -->
<!-- _includes/head-custom.html -->
<meta charset="utf-8">
<link rel="shortcut icon" type="image/x-icon" href="/rules_pkg/favicon.ico">
<!-- Setup Google Analytics below -->
<!-- end custom head snippets -->