doc: Adding correct DESTDIR info