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, 3 Jan 2023 17:59:47 +0000 (18:59 +0100)
commit	0c7dbdea7eae9f78d856fd7d5118d7444709c075
tree	ca2591b0c05265f696fa3031c8c9c27c9a8145f1	tree \| snapshot
parent	f5f785b7da38cc5f07c3f003ae74d577fd217c0c	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.