From 2ea50063460a3e11dfcbb71651540c0d61fddc1a Mon Sep 17 00:00:00 2001 From: Klaus Aehlig Date: Tue, 18 Apr 2023 15:47:34 +0200 Subject: Update documentation --- etc/generate-doc.sh | 1 - 1 file changed, 1 deletion(-) (limited to 'etc/generate-doc.sh') 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" -- cgit v1.2.3