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 67cbf2b4e8770790e591ec73f56676db9d802634..ca672325848c53a4c5ba462e9eb26480fc3c3ddf 100644 (file)
Binary files a/matita/matita/help/C/matita.pdf and b/matita/matita/help/C/matita.pdf differ