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
Note: See
TracTickets for help on using
tickets.