diff --git a/doc/source/HEADER.html b/doc/source/HEADER.html
new file mode 100644
index 0000000000..617e7af80c
--- /dev/null
+++ b/doc/source/HEADER.html
@@ -0,0 +1,5 @@
+<h2>BOINC Source Code</h2>
+
+<p>
+The BOINC source code is available in the following formats.  Its use is
+subject to the <a href=../license_1.0.txt>BOINC public license</a>.