Re: pkg/47152 (Please, pull up the doc option from wip/coq into lang/coq)

[diro%nixsyspaus.org@localhost]

The following reply was made to PR pkg/47152; it has been noted by GNATS.

From: diro%nixsyspaus.org@localhost
To: gnats-bugs%NetBSD.org@localhost
Cc: 
Subject: Re: pkg/47152 (Please, pull up the doc option from wip/coq into 
lang/coq)
Date: Sun, 2 Dec 2012 15:31:47 -0500

 Thanks. It all looks good, except that the build dirties /tmp with coqmain*
 files:
 
 % ls /tmp/coqmain*
 /tmp/coqmain6cf6b9.cmi    /tmp/coqmainbab631.ml     /tmp/coqmainfe5c1e.cmi
 /tmp/coqmain6cf6b9.cmo    /tmp/coqmainc3b71a.cmi    /tmp/coqmainfe5c1e.cmx
 /tmp/coqmain6cf6b9.ml     /tmp/coqmainc3b71a.cmx    /tmp/coqmainfe5c1e.ml
 /tmp/coqmainbab631.cmi    /tmp/coqmainc3b71a.ml     /tmp/coqmainfe5c1e.o
 /tmp/coqmainbab631.cmo    /tmp/coqmainc3b71a.o