Update to include the license information in a less annoying place.
diff --git a/Doc/ref/ref.tex b/Doc/ref/ref.tex
index 0f65ddb..b6299a3 100644
--- a/Doc/ref/ref.tex
+++ b/Doc/ref/ref.tex
@@ -61,6 +61,9 @@
 \appendix
 \input{refa1}           % Future statements and nested scopes
 
+\chapter{History and License}
+\input{license}
+
 \input{ref.ind}
 
 \end{document}