Re: \headline non definito

Sapevo di averlo visto da qualche parte, ma non l’avrei cercato sul TeXbook, nemmeno se fossi a casa dove ne ho tre copie 😉