add these files to mandoku-catalog-alist.