diff options
Diffstat (limited to 'etc/generate-doc.sh')
| -rwxr-xr-x | etc/generate-doc.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/etc/generate-doc.sh b/etc/generate-doc.sh index 50b4190..69bdbb4 100755 --- a/etc/generate-doc.sh +++ b/etc/generate-doc.sh @@ -79,6 +79,7 @@ rm -f "$OUTFILE" doc2md rules CC/auto config doc2md rules CC/auto config_file doc2md rules test suite + doc2md rules test matrix doc2md rules lint targets doc2md rules lint defaults ) >> "$OUTFILE" |