Drew Parsons <dpars...@debian.org> wrote: > What is Debian policy on pdf documentation in upstream source? > > > dolfin needs an updated petsc to run optimally (multiple processors). > And dolfin is cool, so I'll update petsc (the latest version at > http://www.mcs.anl.gov/petsc is 3.6.1). > > We've been using a dfsg version of petsc. The dfsg impact is minimal: > > (1) a windows executable and dll in bin/win32fe/ > > (2) pdf manuals (manual.pdf, tao_manual.pdf, developers.pdf in docs/) > > These two sets of files are only dfsg because the source code is not > available to generate them. I gather we'd be free to modify the files > and distribute modifications if we wanted to.
Isn't this the source for win32fe? https://bitbucket.org/petsc/win32fe Though you should probably just delete it from the tarball. In my 5 minute search, I could not find the source for the documentation. But I am absolutely certain someone on petsc-maint could point you to it. Cheers, Walter Landry
