diff options
| author | coqbot-app[bot] | 2021-04-23 13:41:43 +0000 |
|---|---|---|
| committer | GitHub | 2021-04-23 13:41:43 +0000 |
| commit | 7e576aef5b41837c7faa72a5525ee41bec02babb (patch) | |
| tree | 1d06523f9b0805426fcf2217c6cbe79a9841664f /test-suite | |
| parent | d758cc5bb19d7abfcce13d2c26b5ae1c0fc1a439 (diff) | |
| parent | 7e0c8172703111a026477cf704f50af9468f8f0a (diff) | |
Merge PR #14161: test-suite: add approve-coqdoc to update all coqdoc output files at once
Reviewed-by: SkySkimmer
Diffstat (limited to 'test-suite')
| -rw-r--r-- | test-suite/Makefile | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/test-suite/Makefile b/test-suite/Makefile index 2a2f62e23f..f06439a863 100644 --- a/test-suite/Makefile +++ b/test-suite/Makefile @@ -517,6 +517,17 @@ approve-output: output output-coqtop output-coqchk echo "Updated $${f%.real}!"; \ done +approve-coqdoc: coqdoc + $(HIDE)(cd coqdoc; \ + for f in *.html.out; do \ + cp "Coqdoc.$${f%.out}" "$$f"; \ + echo "Updated $$f!"; \ + done; \ + for f in *.tex.out; do \ + cat "Coqdoc.$${f%.out}" | grep -v "^%%" > "$$f"; \ + echo "Updated $$f!"; \ + done) + # the expected output for the MExtraction test is # /plugins/micromega/micromega.ml except with additional newline output/MExtraction.out: ../plugins/micromega/micromega.ml |