Remove obsolete asciidoc files