From 4425465d1f7b7f50c214dce778980479711cd732 Mon Sep 17 00:00:00 2001
From: John Winans <john@winans.org>
Date: Wed, 19 Oct 2022 10:21:50 -0500
Subject: [PATCH] Add a title page to tri-fold refcard

---
 book/insnformats.tex | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/book/insnformats.tex b/book/insnformats.tex
index c3bb3e5..4f56d85 100644
--- a/book/insnformats.tex
+++ b/book/insnformats.tex
@@ -2019,6 +2019,14 @@
 	\EndTikzPicture
 }
 
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% Draw something useful for the cover portion of the tri-fold green-card
+\newcommand\DrawCardTitlePage{
+	\draw(111,-5) node {\textbf{\Huge RVALP}};
+	\draw(111,-10) node {\textbf{\Huge RV32I Reference Card}};
+	\draw(111,-152) node {\GitRevision};
+}
+
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 % Draw all the ribbons in a stack for a reference card
 \newcommand\DrawInsnRibbons{
@@ -2031,6 +2039,8 @@
 		\begin{scope}[shift={(0,-100)}]\InsnOpBTypeDecoding\end{scope}
 		\begin{scope}[shift={(0,-125)}]\InsnOpJTypeDecoding\end{scope}
 		\begin{scope}[shift={(0,-150)}]\InsnOpRTypeDecoding\end{scope}
+
+		\begin{scope}[shift={(0,0)}]\DrawCardTitlePage\end{scope}
 	\end{scope}
 	\EndTikzPicture
 }