From c4828b253a320448ac9e3f763ceaf57c87f4db38 Mon Sep 17 00:00:00 2001 From: Dan Christensen Date: Mon, 5 Feb 2024 11:15:05 -0500 Subject: [PATCH 1/2] Makefile.coq.local: reduce long line warnings in alectryon build --- Makefile.coq.local | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile.coq.local b/Makefile.coq.local index 4f167cf518e..cd53a5f60d1 100644 --- a/Makefile.coq.local +++ b/Makefile.coq.local @@ -172,7 +172,7 @@ alectryon-html/index.html alectryon-html/toc.html alectryon-html/coqdoc.css : al alectryon-html-done.timestamp: $(ALL_VOFILES) $(ALL_VFILES) @ mkdir -p alectryon-html - $(TIMER) $(ALECTRYON) --frontend coq+rst --backend webpage --sertop-arg=--no_prelude --sertop-arg=--indices-matter $(COQLIBS_NOML) --output-directory alectryon-html --cache-directory alectryon-cache $(ALECTRYON_EXTRAFLAGS) $(ALL_VFILES) + $(TIMER) $(ALECTRYON) --frontend coq+rst --backend webpage --sertop-arg=--no_prelude --sertop-arg=--indices-matter $(COQLIBS_NOML) --output-directory alectryon-html --cache-directory alectryon-cache --long-line-threshold=999 $(ALECTRYON_EXTRAFLAGS) $(ALL_VFILES) touch alectryon-html-done.timestamp alectryon-html: From e2ac8fb5a6ec37c7574bd16901465a98728cb3a3 Mon Sep 17 00:00:00 2001 From: Dan Christensen Date: Mon, 12 Feb 2024 18:22:39 -0500 Subject: [PATCH 2/2] Makefile.coq.local: use --long-line-threshold=99999 --- Makefile.coq.local | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile.coq.local b/Makefile.coq.local index cd53a5f60d1..e904bf8bebb 100644 --- a/Makefile.coq.local +++ b/Makefile.coq.local @@ -172,7 +172,7 @@ alectryon-html/index.html alectryon-html/toc.html alectryon-html/coqdoc.css : al alectryon-html-done.timestamp: $(ALL_VOFILES) $(ALL_VFILES) @ mkdir -p alectryon-html - $(TIMER) $(ALECTRYON) --frontend coq+rst --backend webpage --sertop-arg=--no_prelude --sertop-arg=--indices-matter $(COQLIBS_NOML) --output-directory alectryon-html --cache-directory alectryon-cache --long-line-threshold=999 $(ALECTRYON_EXTRAFLAGS) $(ALL_VFILES) + $(TIMER) $(ALECTRYON) --frontend coq+rst --backend webpage --sertop-arg=--no_prelude --sertop-arg=--indices-matter $(COQLIBS_NOML) --output-directory alectryon-html --cache-directory alectryon-cache --long-line-threshold=99999 $(ALECTRYON_EXTRAFLAGS) $(ALL_VFILES) touch alectryon-html-done.timestamp alectryon-html: