Skip to content
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 4 additions & 4 deletions tools/gram.sed
Original file line number Diff line number Diff line change
Expand Up @@ -2,13 +2,13 @@
/^%gram:/s/^%gram:[[:space:]]*//p

# copy bnftab groups:
/^\\begin{bnftab}/,/^\\end{bnftab}/p
/^\\begin\{bnftab}/,/^\\end\{bnftab}/p

# copy simplebnf groups:
/^\\begin{simplebnf}/,/^\\end{simplebnf}/p
/^\\begin\{simplebnf}/,/^\\end\{simplebnf}/p

# copy bnf groups:
/^\\begin{bnf}/,/^\\end{bnf}/p
/^\\begin\{bnf}/,/^\\end\{bnf}/p

# copy bnfkeywordtab groups:
/^\\begin{bnfkeywordtab}/,/^\\end{bnfkeywordtab}/p
/^\\begin\{bnfkeywordtab}/,/^\\end\{bnfkeywordtab}/p
6 changes: 3 additions & 3 deletions tools/gramb.sed
Original file line number Diff line number Diff line change
@@ -1,9 +1,9 @@
# copy bnftab groups:
/^\\end{bnftab}/a\
/^\\end\{bnftab}/a\

# copy simplebnf groups:
/^\\end{simplebnf}/a\
/^\\end\{simplebnf}/a\

# copy bnf groups:
/^\\end{bnf}/a\
/^\\end\{bnf}/a\

Empty file modified tools/makegram
100644 → 100755
Empty file.
Empty file modified tools/maketags
100644 → 100755
Empty file.
Empty file modified tools/makexref
100644 → 100755
Empty file.