(executable
 (name html5check)
 (public_name html5check)
 (package html5rw)
 (libraries htmlrw_check html5rw bytesrw cmdliner))