diff options
Diffstat (limited to 'etc/generate-doc.sh')
| -rwxr-xr-x | etc/generate-doc.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/etc/generate-doc.sh b/etc/generate-doc.sh index ca8e7d6..790a2e0 100755 --- a/etc/generate-doc.sh +++ b/etc/generate-doc.sh @@ -68,7 +68,6 @@ rm -f "$OUTFILE" doc2md rules data staged doc2md rules patch file doc2md rules CC/auto config - doc2md rules CC/IDE headers ) >> "$OUTFILE" |