Include patchlevel in directory name of documentation install in Linux