Opened 12 years ago

Closed 12 years ago

#441 closed defect (fixed)

make -C doc magic fails

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

Description

... with 

Loading /home/tews/src/pg/pghaskell/pghaskell.el (source)...
proof-easy-config: PG already in use or name/symbol mismatch 
proof-assistant name: "PG-Haskell" doesn't match expected "PG-OCaml"
make[1]: *** [magic] Error 255
make[1]: Leaving directory `/home/tews/src/pg/doc'
make: *** [magic] Error 2

Change History (1)

comment:1 Changed 12 years ago by David Aspinall

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