diff options
Diffstat (limited to 'manual/Makefile')
| -rw-r--r-- | manual/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/manual/Makefile b/manual/Makefile index 0137afd..e291509 100644 --- a/manual/Makefile +++ b/manual/Makefile @@ -122,7 +122,8 @@ stamp-version: $(common-objpfx)config.make # Generate Texinfo files from the C source for the example programs. %.c.texi: examples/%.c - sed -e 's,[{}],@&,g' \ + sed -e '1,/^\*\/$$/d' \ + -e 's,[{}],@&,g' \ -e 's,/\*\(@.*\)\*/,\1,g' \ -e 's,/\* *,/* @r{,g' -e 's, *\*/,} */,' \ -e 's/\(@[a-z][a-z]*\)@{\([^}]*\)@}/\1{\2}/g'\ |