# HG changeset patch # User Mike Becker # Date 1510572115 -3600 # Node ID 24f5484bae9761049d6254f8b049f170f9cb749a # Parent 3ff0abc49ed5b132f49adf348fb192985e348cb3 web doc has now proper titles diff -r 3ff0abc49ed5 -r 24f5484bae97 docs/src/examples.md --- a/docs/src/examples.md Sat Oct 28 16:31:29 2017 +0200 +++ b/docs/src/examples.md Mon Nov 13 12:21:55 2017 +0100 @@ -1,4 +1,5 @@ -Examples -======== +--- +title: Examples +--- Examples are currently developed and will be available very soon. diff -r 3ff0abc49ed5 -r 24f5484bae97 docs/src/header.html --- a/docs/src/header.html Sat Oct 28 16:31:29 2017 +0200 +++ b/docs/src/header.html Mon Nov 13 12:21:55 2017 +0100 @@ -1,5 +1,5 @@ -