https://github.com/HoTT/HoTT
Tip revision: d66af2d5696fc49b38653d2397db3948d512726a authored by Ali Caglayan on 01 April 2024, 09:28:53 UTC
Merge pull request #1894 from Alizter/ps/rr/better_definition_of_monoidal_1_category
Merge pull request #1894 from Alizter/ps/rr/better_definition_of_monoidal_1_category
Tip revision: d66af2d
Makefile.coq.local-early
# Once https://github.com/coq/coq/pull/12411 is merged and we bump the
# minimum version to a version including that PR, this file should
# become Makefile.coq.local, and we should rename Makefile.coq.local
# to Makefile.coq.local-late; Makefile.coq.local-early contains code
# that overrides the relevant variables in Makefile.coq, while
# Makefile.coq.local currently contains additional targets that need
# access to the variables in Makefile.coq
COQDOCEXTRAFLAGS?=
COQDOCFLAGS?=--interpolate --utf8 --no-externals --parse-comments $(COQDOCEXTRAFLAGS)
