Remove all traces of autoconf/automake/makefile

[helm.git] / matita / matita / help / C / matita.pdf

diff --git a/matita/matita/help/C/matita.pdf b/matita/matita/help/C/matita.pdf
index 78a10f2a329b38dedae1ce00e160e604edf6e7e0..ca672325848c53a4c5ba462e9eb26480fc3c3ddf 100644 (file)
Binary files a/matita/matita/help/C/matita.pdf and b/matita/matita/help/C/matita.pdf differ