the back side of the short contents page should be blank...

@end ifset

@c We want the contents at the beginning, where it's supposed to be.

@setshortcontentsaftertitlepage

@c @setshortcontentsaftertitlepage

@c %**end of header

@page

@end titlepage

@c Short contents, blank page, long contents.

@shortcontents

@page

@contents

@c This should be added. The HTML conversion also needs a MySQL version

@c number somewhere.