On 05/16/2018 11:13 AM, Pavel Sanda wrote: > Richard Kimberly Heck wrote: >> What is pdfview.exe and why do we use it on Windows? It does not work at > If I am not mijstaken this was workaround for Adobe Reader, which does not > reload when you update output pdf and this tool should enforce it.
Oh, right, I see, and the source for it is in our tree. Apparently, Windows didn't have a default PDF viewer set? Whatever.... Riki
