Hi Andreas, I'm happy with the changes. Thanks for your help! If I have time I'll add the creation of the links into the repository tomorrow.
Best regards, Petr On Thursday 05 March 2009 18:57:28 Andreas Tille wrote: > On Tue, 3 Mar 2009, Petr Pudlak (Debian) wrote: > > I moved the package into the git repository: > > > > Vcs-Git: git://git.debian.org/git/debian-science/packages/eprover.git > > Vcs-Browser: http://git.debian.org/?p=debian-science/packages/eprover.git > > > > and adapted the package for GIT. > > I commited some changes (basically changed the Debian version of the > package to "-1" and moved the doc/examples to /usr/share/doc/eprover > instead of the doc directories of these packages. You might consider > adding symlinks for cosistency reasons - but users will look for the docs > in /usr/share/doc/eprover and if I'm not completely missleaded this is > usual style of packaging (I did not consulted the docs). > > If you are happy with these changes I might upload in the next couple of > days > > Andreas.
