From 8b912c5943187434aef8435c24d2d36ebb2b3fac Mon Sep 17 00:00:00 2001
From: Hans-Joerg Schurr <commits@schurr.at>
Date: Mon, 19 Dec 2022 11:00:04 +0100
Subject: [PATCH] Add auto generated footer to title page
---
spec/Makefile | 2 +-
spec/spec.tex | 14 ++++++++++++--
2 files changed, 13 insertions(+), 3 deletions(-)
diff --git a/spec/Makefile b/spec/Makefile
index 31b2d9c..0fbae84 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 ad30934..5234e7e 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}
--
GitLab