4 Commits

Author	SHA1	Message	Date
John J. Camilleri	2f3146441b	Makefile now works with: global runghc, stack-only runghc, and falls back to shell script.	2020-11-27 00:47:09 +01:00
Krasimir Angelov	23f3fd244a	rename Make.* to Setup.* to follow the Cabal convention	2018-11-28 13:54:56 +01:00
Thomas Hallgren	aa4257efef	Add a 'make doc' target in the main Makefile ... It first build the RGL, then calls doc/Makefile, with the corrent GF_LIB_PATH, to build the documentation.	2018-10-22 21:43:41 +02:00
John J. Camilleri	ade493515a	[GF Split] Post-split updates	2018-07-25 20:18:48 +02:00