Opened 11 years ago

Closed 11 years ago

#471 closed defect (fixed)

ProofGeneral.jpg missing in ProofGeneral-4.3pre130510.tgz

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

Description

Hi,

with Proofgeneral.jpg missing, it is impossible to rebuild the pdf documentation.

Bye,

Hendrik

Change History (1)

comment:1 Changed 11 years ago by David Aspinall

Resolution: → fixed
Status: new → closed

Good point. Long outdated space-saving measure when people used to complain about the extra 100k or whatever in the tar file. I've added it to the distrib now.

Note: See TracTickets for help on using tickets.