K 10 svn:author V 2 dd K 8 svn:date V 27 2001-06-21T20:43:43.000000Z K 7 svn:log V 431 Change the way the value of DESTDIR is determined for the release notes build. Instead of having doc.relnotes.mk make a guess, hardcode quite a bit (but as little as possible) in Makefile.inc's sprinkled strategicly throughout the tree. This has the advantage of actually working properly (which is a Good Thing(tm)), and the disadvantages of more files in the repository and more hardcoded paths (which are both Bad Things(tm)). END