diff options
Diffstat (limited to 'manual/credits.pl')
-rw-r--r-- | manual/credits.pl | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/manual/credits.pl b/manual/credits.pl new file mode 100644 index 0000000000..46035f50f6 --- /dev/null +++ b/manual/credits.pl | |||
@@ -0,0 +1,14 @@ | |||
1 | # __________ __ ___. | ||
2 | # Open \______ \ ____ ____ | | _\_ |__ _______ ___ | ||
3 | # Source | _// _ \_/ ___\| |/ /| __ \ / _ \ \/ / | ||
4 | # Jukebox | | ( <_> ) \___| < | \_\ ( <_> > < < | ||
5 | # Firmware |____|_ /\____/ \___ >__|_ \|___ /\____/__/\_ \ | ||
6 | # \/ \/ \/ \/ \/ | ||
7 | # $Id$ | ||
8 | # | ||
9 | while (<STDIN>) { | ||
10 | if(($_ =~ /^([A-Z]+[\S ]+)/) && ($_ !~ /^People/)) { | ||
11 | print "\\Forward{} $1\n"; | ||
12 | } | ||
13 | } | ||
14 | |||