diff options
| author | Thomas Letan <lthms@soap.coffee> | 2022-09-10 12:31:31 +0200 |
|---|---|---|
| committer | Thomas Letan <lthms@soap.coffee> | 2022-09-10 12:31:31 +0200 |
| commit | 838d4afb785daf4852ef93f5cf1ab080ad0ed1f3 (patch) | |
| tree | 2bc5f58e3b710aecc0c29d5e888d801e337bdacf /coq.mk | |
| parent | spatial-sway is a thing now (diff) | |
Refine the theme to be more readable
Diffstat (limited to 'coq.mk')
| -rw-r--r-- | coq.mk | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -23,7 +23,7 @@ COQDOCARG := --no-index --charset utf8 --short \ --external "https://lysxia.github.io/coq-simple-io" SimpleIO %.html : %.v coq.mk _opam/init - @scripts/pretty-echo.sh Exporting "$*.v" + @pretty-echo.sh Exporting "$*.v" @coqc ${COQCARG} $< @coqdoc ${COQDOCARG} -d $(shell dirname $<) $< @rm -f $(shell dirname $<)/coqdoc.css |