Re: .configure and Makefile.in

[Jean-Francois Monin]

Ralf Treinen wrote:
 > 
 > George proposed camlp4. I think this  is complex enough to merit a 
 > package of its own. Besides I don't know camlp4 and would prefer
 > if someone who uses it regularly takes it.

BTW camlp4 is needed for coq.

Friendly,
  JF


--  
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]