Update documentation.
Another DESTDIR fix.