1 |
#!/bin/sh |
#!/bin/sh |
2 |
# Extract all examples from the manual source. |
# Extract all examples from the manual source. |
3 |
# Copyright (C) 1992 Free Software Foundation, Inc. |
# Copyright (C) 1992, 2005 Free Software Foundation, Inc. |
4 |
|
|
5 |
# This script is for use with GNU awk. |
# This script is for use with GNU awk. |
6 |
|
|
59 |
else |
else |
60 |
prefix = ""; |
prefix = ""; |
61 |
gsub("@@", "@", $0); |
gsub("@@", "@", $0); |
62 |
|
gsub("@comment.*", "", $0); |
63 |
printf("%s%s\n", prefix, $0) >> file; |
printf("%s%s\n", prefix, $0) >> file; |
64 |
} |
} |
65 |
|
|