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
---------------------------(end of broadcast)--------------------------- TIP 6: Have you searched our list archives?
http://archives.postgresql.org
