Re: DFSG status of petsc
Drew Parsons <firstname.lastname@example.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?
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.