From 5d87c6a24b31ceb8a6753667546b0cb311bd6843 Mon Sep 17 00:00:00 2001 From: nsz Date: Wed, 24 Aug 2011 00:37:38 +0200 Subject: [PATCH] fix annot (recognise _ as first char in section title) --- annot.sh | 2 +- n1570.html | 8 ++++++-- 2 files changed, 7 insertions(+), 3 deletions(-) diff --git a/annot.sh b/annot.sh index a2cc13b..47eadff 100755 --- a/annot.sh +++ b/annot.sh @@ -142,7 +142,7 @@ function dosect(s, n,a) { if (id ~ /Annex/) id = a[2] if (id ~ /^([A-Z]|[1-9]\.|[1-9A-Z]\.[0-9.]*[0-9]|Contents|Index|Foreword|Introduction|Bibliography)$/ && - (n==1 || a[2] ~ /^[A-Z.v]/)) { + (n==1 || a[2] ~ /^[A-Z.v_]/)) { sub(/^ +/,"",s) if (id ~ /\.$/) id = substr(id,1,length(id)-1) diff --git a/n1570.html b/n1570.html index a628c03..f5e5640 100644 --- a/n1570.html +++ b/n1570.html @@ -18947,7 +18947,9 @@ margin: deleted text is marked with ''*'', new or changed text with '' ''. returns the number of bytes modified, not including a terminating null character, if any.306) - 7.23 _Noreturn <stdnoreturn.h> + +

Contents +

7.23 _Noreturn <stdnoreturn.h>

The header <stdnoreturn.h> defines the macro

@@ -25622,7 +25624,9 @@ margin: deleted text is marked with ''*'', new or changed text with '' ''.
               char * restrict dst, rsize_t dstmax,
               const wchar_t * restrict src, rsize_t len);
 
- B.22 _Noreturn <stdnoreturn.h> + +

Contents +

B.22 _Noreturn <stdnoreturn.h>

          noreturn
 
-- 2.20.1