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 6153883..09c4054 100755 --- a/etc/generate-doc.sh +++ b/etc/generate-doc.sh @@ -69,6 +69,7 @@ rm -f "$OUTFILE" doc2md rules CC/foreign/cmake data doc2md rules CC/foreign/make library doc2md rules CC/foreign/make data + doc2md rules CC/foreign/shell library doc2md rules CC/foreign/shell data doc2md rules proto library doc2md rules data staged |