Arranged for books/GNUmakefile moreclean target to delete doc/xdoc.sao.