SVN commit 10566 by aschai: Merge PORTS revision 377770 Original commit message: Switch ports depending on docbook* through a directory name to a package name, as a directory name can't be attributed to a package M +2 -2 Makefile