Stephen Leake <stephen_le...@stephe-leake.org> writes: > The monotone Debian package installs the info file in the standard > location; it could also install the man page.
Yes, it does; Debian Policy mandates a man page for each executable. The current man page is from one of the first Debian package maintainers; it is now very out of date. > It could also install the html version of the manual in a standard > location; it doesn't do that at the moment. The man page should give > URLs for both the remote and local HTML manuals. The package monotone-doc does install the HTML, PDF, info and plain text versions of the manual in the standard location /usr/share/doc/monotone-doc/*. -- Ludovic Brenta. _______________________________________________ Monotone-devel mailing list Monotone-devel@nongnu.org http://lists.nongnu.org/mailman/listinfo/monotone-devel