X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fconfigure.ac;h=ce2d8243210910bec0a9e35c4f29884b9458f737;hb=13fab17e3d3dee05df676985c065ae54a5766870;hp=678cc23422ec29fc69d298b2aeb3acfb7525c006;hpb=84c9131c30a4a991c595f61620794b1b75a5a16d;p=helm.git

diff --git a/helm/matita/configure.ac b/helm/matita/configure.ac
index 678cc2342..ce2d82432 100644
--- a/helm/matita/configure.ac
+++ b/helm/matita/configure.ac
@@ -112,4 +112,5 @@ AC_OUTPUT([
   matita.conf.xml.sample
   buildTimeConf.ml
   Makefile
+  gtkmathview.matita.conf.xml
 ])