Akim Demaille 0711dca9d9 add support for --html ...

* bootstrap.conf: We need the "execute" module.
* src/files.h, src/files.c (spec_html_file, html_flag): New.
* src/getargs.h, src/getargs.c (--html): New.
* src/print-xml.h, src/print-xml.c (print_html): New.
* src/main.c: Use them.
* tests/output.at, tests/report.at: Check --html.

2020-09-19 17:49:03 +02:00

..

.gitignore

graph: prefer *.gv to *.dot

2019-02-21 06:46:07 +01:00

actions.at

deprecate %defines in favor of %header

2020-09-19 17:49:03 +02:00

atlocal.in

cex: don't assume the terminal supports "•"

2020-06-16 07:58:40 +02:00

bison.in

package: bump copyrights to 2020

2020-01-10 19:16:23 +01:00

c++.at

deprecate %defines in favor of %header

2020-09-19 17:49:03 +02:00

calc.at

deprecate %defines in favor of %header

2020-09-19 17:49:03 +02:00

conflicts.at

deprecate %defines in favor of %header

2020-09-19 17:49:03 +02:00

counterexample.at

cex: always show ε/%empty in counterexamples

2020-09-02 07:31:55 +02:00

cxx-type.at

package: bump copyrights to 2020

2020-01-10 19:16:23 +01:00

diagnostics.at

add support for --html

2020-09-19 17:49:03 +02:00

existing.at

cex: make "rerun with '-Wcex'" a note instead of a warning

2020-07-21 18:57:56 +02:00

glr-regression.at

cex: make "rerun with '-Wcex'" a note instead of a warning

2020-07-21 18:57:56 +02:00

headers.at

options: rename --defines as --header

2020-09-19 08:31:49 +02:00

input.at

deprecate %defines in favor of %header

2020-09-19 17:49:03 +02:00

java.at

deprecate %defines in favor of %header

2020-09-19 17:49:03 +02:00

javapush.at

java: fix coding style

2020-05-02 09:27:16 +02:00

linear

package: bump copyrights to 2020

2020-01-10 19:16:23 +01:00

local.at

deprecate %defines in favor of %header

2020-09-19 17:49:03 +02:00

local.mk

add support for --html

2020-09-19 17:49:03 +02:00

m4.at

fix generated comments

2020-05-21 20:14:59 +02:00

named-refs.at

diagnostics: modernize the display of submessages

2020-02-15 08:28:40 +01:00

output.at

add support for --html

2020-09-19 17:49:03 +02:00

push.at

package: bump copyrights to 2020

2020-01-10 19:16:23 +01:00

reduce.at

cex: make "rerun with '-Wcex'" a note instead of a warning

2020-07-21 18:57:56 +02:00

regression.at

deprecate %defines in favor of %header

2020-09-19 17:49:03 +02:00

report.at

add support for --html

2020-09-19 17:49:03 +02:00

scanner.at

glr2.cc: fork glr.cc to a c++ version

2020-08-30 10:45:21 +02:00

sets.at

cex: make "rerun with '-Wcex'" a note instead of a warning

2020-07-21 18:57:56 +02:00

skeletons.at

skeletons: use "end of file" instead of "$end"

2020-04-12 13:56:44 +02:00

synclines.at

deprecate %defines in favor of %header

2020-09-19 17:49:03 +02:00

testsuite.at

cex: add tests

2020-05-22 07:52:27 +02:00

testsuite.h

tests: simplify prologue

2019-11-03 10:32:22 +01:00

torture.at

style: s/lookahead_tokens/lookaheads/g

2020-07-14 06:48:48 +02:00

types.at

deprecate %defines in favor of %header

2020-09-19 17:49:03 +02:00