2006-07-30 23:37:15 +00:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
|
|
|
|
echo ""
|
|
|
|
|
echo "/**********************************************************/"
|
|
|
|
|
echo "/* This was file $1 */"
|
|
|
|
|
echo "/**********************************************************/"
|
|
|
|
|
echo ""
|
|
|
|
|
|
1989-12-18 13:31:20 +00:00
|
|
|
cat $1 |
|
|
|
|
|
sed '
|
|
|
|
|
/#include[ ].*"/d
|
|
|
|
|
s/^public/private/
|
|
|
|
|
s/^publicdata/static/
|
|
|
|
|
'
|
|
|
|
|
echo ''
|
