Install into doc the PDF and HTML manuals

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

diff --git a/matita/matita/help/C/dune b/matita/matita/help/C/dune
new file mode 100644 (file)
index 0000000..74e37ab
--- /dev/null
+++ b/matita/matita/help/C/dune
@@ -0,0 +1,5 @@
+(install
+ (section doc)
+ (files
+   matita.pdf
+  (glob_files_rec html/*)))