Add a middling version of the x86 ISA archtecture

This fixes the even page title running into the page number.
CTSRD-CHERI · Sep 20, 2023 · 64dd8ac · 64dd8ac
1 parent 9302a32
commit 64dd8ac
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/chap-cheri-x86-64.tex b/chap-cheri-x86-64.tex
@@ -1,4 +1,4 @@
-\chapter{The CHERI-x86-64 Instruction-Set Architecture (Sketch)}
+\chapter[The CHERI-x86-64 ISA (Sketch)]{The CHERI-x86-64 Instruction-Set Architecture (Sketch)}
 \label{chap:cheri-x86-64}
 
 \rwnote{New introduction is required, and some change of pitch.}