[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: DFSG status of petsc

Drew Parsons <dparsons@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?


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.

Walter Landry

Reply to: