Install into doc the PDF and HTML manuals

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