bin/doc lib/doc/doc-1.awk lib/doc/doc-3.awk lib/doc/doc-4.awk lib/doc/INFO lib/doc/RFC.XXXX man/man8/doc.8.gz @dirrm lib/doc