[ansifilter] Use docdir to cover and delete redundant docs.

[Christopher Meng]

Summary of changes:

  0a89ff6... Use docdir to cover and delete redundant docs. (*)

(*) This commit already existed in another branch; no separate mail sent