Bug#746017: /usr/share/maven/man is good when 2 packages have same man.
Oleksandr Gavenko
gavenkoa at gmail.com
Thu Jan 8 00:44:09 UTC 2015
During movement from maven2 to maven3 it is not possible to store 2 man
page at same location.
For this purpose used Debian alternatives:
desktop+bash# ls -l /usr/share/man/man1/mvn*
lrwxrwxrwx 1 root root 26 2013-10-05 18:33 /usr/share/man/man1/mvn.1.gz -> /etc/alternatives/mvn.1.gz
lrwxrwxrwx 1 root root 31 2013-10-05 18:33 /usr/share/man/man1/mvnDebug.1.gz -> /etc/alternatives/mvnDebug.1.gz
This bug may be closed.
--
Best regards!
More information about the pkg-java-maintainers
mailing list