Opened 11 years ago

Closed 11 years ago

#470 closed defect (fixed)

texinfo 5.1 incompatibility

Reported by: coquser Owned by: David Aspinall
Priority: minor Milestone: PG-Emacs-4.3
Component: 2:pg-emacs Keywords:
Cc: hendrik@…

Description

Hi,

the \def\fontdefs line in ProofGeneral.texi and PG-adapting.texi cause an error with texinfo 5.1. It says about 20 times

ProofGeneral.texi:1: misplaced {

What is this fontdefs line responsible for? Does anybody know a fix besides of deleting this line?

Bye,

Hendrik

Change History (1)

comment:1 Changed 11 years ago by David Aspinall

Resolution: → fixed
Status: new → closed

I've removed the attempt to use the Serifa font now, I don't think I even have the modified version of texinfo that I used to use to build the fancy version. Let's use standard CMR.

Note: See TracTickets for help on using tickets.