annotate docend.A5.tex @ 469:d380c1407ed8

Replace Seven Stars with the Paul Hardy version It's closer to what got played last night.
author Jim Hague <jim.hague@acm.org>
date Mon, 28 Apr 2014 15:00:22 +0100
parents 9f9df5c40d1b
children 870b8d514482
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
334
9f9df5c40d1b Move cover page colour and blank coloured end page to doc-specific files.
Jim Hague <jim.hague@acm.org>
parents:
diff changeset
1 \pagecolor{havocpurple}
9f9df5c40d1b Move cover page colour and blank coloured end page to doc-specific files.
Jim Hague <jim.hague@acm.org>
parents:
diff changeset
2 \thispagestyle{empty}
9f9df5c40d1b Move cover page colour and blank coloured end page to doc-specific files.
Jim Hague <jim.hague@acm.org>
parents:
diff changeset
3 \mbox{}