]> matita.cs.unibo.it Git - helm.git/commit
Makefile.in: improved support for autoconf
authorLuca Padovani <luca.padovani@unito.it>
Wed, 10 Jan 2001 11:00:53 +0000 (11:00 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Wed, 10 Jan 2001 11:00:53 +0000 (11:00 +0000)
commit8f7e3b73f8bc15cabcb2b6e84e73b5e611b1d548
tree4c1ae3161bf7cc622e9d57be9b9cae6cd9d70cd1
parentdfb99fda45c1cd87a7c2fedcebb987f3220e0516
Makefile.in: improved support for autoconf
configure.in: added checks for minidom, lablgtk, lablgtkmathview
helm/interface/Makefile.in
helm/interface/configure.in