diff --git a/spec/Makefile b/spec/Makefile
index 31b2d9c6ab2e072dcf548264c7e1fd64780e0e93..0fbae84e6aed8e78b62d75316ee86112b021087b 100644
--- a/spec/Makefile
+++ b/spec/Makefile
@@ -1,5 +1,5 @@
 backport:
-	latexmk -pdf -pvc -interaction=nonstopmode -shell-escape -lualatex spec
+	SOURCE_DATE_EPOCH=$(date +%s) latexmk -pdf -pvc -interaction=nonstopmode -shell-escape -lualatex spec
 
 comments:
 	latexmk -pdf -shell-escape doc
diff --git a/spec/spec.tex b/spec/spec.tex
index ad3093489d1c4bcc6f949ed836f99d1acda29248..5234e7ed5189caed48abb5e878c70cac16bc7536 100644
--- a/spec/spec.tex
+++ b/spec/spec.tex
@@ -1,5 +1,8 @@
-\documentclass{scrartcl}
+%
+% This document is licenced under Creative Commons 4.0 Attribution International
+%
 
+\documentclass{scrartcl}
 
 \usepackage{scrlayer-scrpage}
 \usepackage{unicode-math}
@@ -20,6 +23,7 @@
 \usepackage{fancyvrb} % Gives us \Verb which can be used in footnotes
 \usepackage{amsthm}
 \usepackage{thmtools}
+\usepackage{ccicons} % Gives us CC icons for title page
 \usepackage[nottoc,notlot,notlof]{tocbibind}
 
 \usepackage{imakeidx}
@@ -191,6 +195,13 @@ break
 \newtheorem{definition}{Definition}[example]
 \newtheorem{seppara}{}
 
+\newpairofpagestyles{titlestyle}{
+\ofoot{Version \input{|"./version.sh"}\unskip . Typeset on {\today}.}%
+\ifoot{\ccby}%
+}
+\renewcommand*{\titlepagestyle}{titlestyle}
+\setkomafont{publishers}{\small}
+
 \title{The Alethe Proof Format}
 \subtitle{An Evolving Specification and Reference}
 \author{Haniel Barbosa\textsuperscript{1}
@@ -210,7 +221,6 @@ break
 
 \maketitle
 \tableofcontents
-\thispagestyle{empty}
 \clearpage
 
 \begin{abstract}