Add a middling version of the x86 ISA archtecture

This fixes the even page title running into the page number. (cherry picked from commit 64dd8ac)
CTSRD-CHERI · Sep 20, 2023 · b1570f8 · b1570f8
1 parent 7f29478
commit b1570f8
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.}