matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Tue, 3 Jan 2023 17:59:47 +0000 (18:59 +0100)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Tue, 14 Feb 2023 14:23:41 +0000 (15:23 +0100)
commit	0d6b83167358b4015beea961f79c577f9ff0d88d
tree	0c22beb188ec37f652d435c8397c8f2646370d5c	tree \| snapshot
parent	9bd8f35d3929c7b8bd3ad30b564bb7ebe8f1f322	commit \| diff

Remove all traces of autoconf/automake/makefile

- also fixes installation of help/C files to include only .xml files
and figures

12 files changed:

.gitignore		diff \| blob \| history
matita/.merlin	[deleted file]	blob \| history
matita/Makefile	[deleted file]	blob \| history
matita/Makefile.defs.in	[deleted file]	blob \| history
matita/components/Makefile	[deleted file]	blob \| history
matita/components/Makefile.common	[deleted file]	blob \| history
matita/configure.ac	[deleted file]	blob \| history
matita/matita.install		diff \| blob \| history
matita/matita/Makefile	[deleted file]	blob \| history
matita/matita/dune		diff \| blob \| history
matita/matita/help/C/matita.pdf		diff \| blob \| history
matita/matita/matitaGeneratedGui.ml	[new file with mode: 0644]	blob

Unnamed repository; edit this file 'description' to name the repository.