Raphaël Enrici wrote:
>
>
> So here is the question:
> is the /usr/share/pgadmin3/docs directory used while pgadmin3 runs ?
> To me it is part of the help system and also responsible of the tip of
> the day.
> If it's not mandatory to get this directory while running pgAdmin3,
> pgadmin3 package will just suggest pgadmin3-doc package. If it's
> mandatory, pgadmin3 package will depend on pgadmin3-doc package.
It's sort-of mandatory, if missing pgadmin3 should still run ok
Tip of the day is located there, as well as bugreport.
Regards,
Andreas