]> matita.cs.unibo.it Git - helm.git/commit
makefile reworked to make debian package possible
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 23 May 2007 14:13:22 +0000 (14:13 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 23 May 2007 14:13:22 +0000 (14:13 +0000)
commit2231f2820190c8743854004a9efd902d3bb5baa4
tree44548ea7ec7f14eca526ea1043b4b6a7f5bb3124
parent7dbd5cab544029af95133e70e8854facdc9befca
makefile reworked to make debian package possible
helm/software/Makefile
helm/software/components/Makefile
helm/software/matita/.depend.opt
helm/software/matita/Makefile
helm/software/matita/buildTimeConf.mli [deleted file]
helm/software/matita/help/C/Makefile