From 5a189b2df67331be0131e85bcc12c3174ad4943b Mon Sep 17 00:00:00 2001
From: Fredrik Ekre <fredrik.ekre@chalmers.se>
Date: Tue, 21 Aug 2018 12:04:49 +0200
Subject: [PATCH] Add a short warning to the doc-frontpage if the docs are for
 an in-development version of Julia.

---
 doc/src/index.md | 21 +++++++++++++++++++--
 1 file changed, 19 insertions(+), 2 deletions(-)

diff --git a/doc/src/index.md b/doc/src/index.md
index 855e45db671f1..a6279791f3ec2 100644
--- a/doc/src/index.md
+++ b/doc/src/index.md
@@ -1,6 +1,23 @@
-# Julia 1.0 Documentation
+```@eval
+io = IOBuffer()
+release = isempty(VERSION.prerelease)
+v = "$(VERSION.major).$(VERSION.minor)"
+!release && (v = v*"-$(first(VERSION.prerelease))")
+print(io, """
+    # Julia $(v) Documentation
 
-Welcome to the documentation for Julia 1.0.
+    Welcome to the documentation for Julia $(v).
+
+    """)
+if !release
+    print(io,"""
+        !!! warning "Work in progress!"
+            This documentation is for an unreleased, in-development, version of Julia.
+        """)
+end
+import Markdown
+Markdown.parse(String(take!(io)))
+```
 
 Please read the [release blog post](https://julialang.org/blog/2018/08/one-point-zero) for a general overview of the language and
 many of the changes since Julia v0.6. Note that version 0.7 was released alongside