Michael Jerris 12847582a7 don't build docs that require new build dep texinfo 15 jaren geleden
..
Makefile.am 12847582a7 don't build docs that require new build dep texinfo 15 jaren geleden
iksemel.texi 2005e1862f merge in new iksemel patches 16 jaren geleden