The Coq mailing list

["Colm Bhandal" <bhandalc AT tcd.ie>]

Hi,

I'm running CoqIDE on windows 7 and I am trying to export my .v files to pdf/
html. However, when I do so I get the following error message:

coqdoc: Files: no such file

I have tried various things like adding the coq bin directory to my windows
path variable but to no avail. Anybody know anything about this issue or have
any ideas?

Cheers,

Colm