diff options
Diffstat (limited to 'scripts/dev/credits')
-rwxr-xr-x | scripts/dev/credits | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/scripts/dev/credits b/scripts/dev/credits deleted file mode 100755 index 0ea312d509..0000000000 --- a/scripts/dev/credits +++ /dev/null @@ -1,26 +0,0 @@ -#!/bin/sh -awkprog=' -BEGIN { FS = "\n"; RS = "" } -{ print "CREDIT_LINE(\""$1"\", \""$2"\");" }' - -for what in ext sapi -do - file=ext/standard/credits_$what.h - cat >$file <<END -/* - DO NOT EDIT THIS FILE! - - it has been automaticaly created by php5/scripts/credits from - the information found in the various php5/ext/.../CREDITS and - php5/sapi/.../CREDITS files - - if you want to change an entry you have to edit the appropriate - CREDITS file instead - -*/ - -END - # Do not process skeleton # - files=`find "$what" -name CREDITS | grep -v "$what"/skeleton/CREDITS` - awk "$awkprog" $files | sort -f | uniq >> $file -done |