repo.or.cz
/
ragel.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
Edits to chapter four.
[ragel.git]
/
doc
/
extract.awk
blob
2874456bc182c46a617bdb2801dc4f04647fc2a5
1
#!/usr/bin/awk
2
#
3
4
BEGIN
{
5
in_generate =
0
;
6
in_verbatim =
0
;
7
return_val =
1
;
8
}
9
10
/
^% GENERATE
: *[
a
-
z0
-
9
A
-
Z_\.\
-]+ *
$
/ &&
$
3
== exname
{
11
in_generate =
1
;
12
return_val =
0
;
13
next
;
14
}
15
16
/
^%
END
GENERATE$
/ {
17
in_generate =
0
;
18
next
;
19
}
20
21
in_generate
&& /
\\
begin
\
{
verbatim\
}/ {
22
in_generate =
0
;
23
in_verbatim =
1
;
24
next
;
25
}
26
27
in_verbatim
&& /
\\
end
\
{
verbatim\
}/ {
28
in_generate =
1
;
29
in_verbatim =
0
;
30
next
;
31
}
32
33
in_generate
&& /
^%
/ {
34
print substr
(
$
0
,
2
);
35
}
36
37
in_verbatim
{
38
print
$
0
;
39
}
40
41
END
{
exit
return_val
; }