name karnaugh docfiles texmf-dist/doc/latex/karnaugh/kvdoc.tex runfiles texmf-dist/tex/latex/karnaugh/kvmacros.tex