Opened 16 years ago

Closed 16 years ago

#219 closed defect (fixed)

Fix path loading for docstring magic in ProofGeneral.texi

Reported by: David Aspinall Owned by: David Aspinall
Priority: major Milestone: PG-Emacs-3.7.1
Component: 2:pg-emacs Keywords:
Cc:

Description

Needed before next release to update and extend variable documentation; "make magic" is broken in doc/ directory.

Change History (1)

comment:1 Changed 16 years ago by David Aspinall

Resolution: → fixed
Status: new → closed
Note: See TracTickets for help on using tickets.