From 52e813b444360a2972ca171290095249a2f66953 Mon Sep 17 00:00:00 2001
From: John Winans <john@winans.org>
Date: Fri, 18 May 2018 23:05:42 -0500
Subject: [PATCH] Commands for insn & rvddt, fix spacing on insn pic

---
 book/insnformats.tex | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/book/insnformats.tex b/book/insnformats.tex
index c1b4f60..dd1d135 100644
--- a/book/insnformats.tex
+++ b/book/insnformats.tex
@@ -274,7 +274,7 @@
 \newcommand\InsnStatement[1]{
 %	\textbf{\large #1}\\
 %	\textbf{#1}\\
-	{\large #1}\\
+	{\large #1}
 }
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 % #1 the binary encoding
@@ -545,4 +545,7 @@
 % print a register name in typewriter font
 \newcommand\reg[1]{{\tt #1}}
 
+% print an instruction name in typewriter font
+\newcommand\insn[1]{{\tt #1}}
 
+\newcommand\rvddt{{\tt rvddt}}