diff options
Diffstat (limited to 'tools')
-rw-r--r-- | tools/PracroAdd | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tools/PracroAdd b/tools/PracroAdd index bb668b8..ff3bc9a 100644 --- a/tools/PracroAdd +++ b/tools/PracroAdd @@ -12,6 +12,11 @@ function allfile() { echo " * `date`" >> $1; echo -n " * Copyright " >> $1 echo -n `date +%Y | xargs` >> $1 + if [ "$WHO" == "nemo" ]; + then + echo " Jonas Suhr Christensen" >> $1; + echo " * jsc@umbraculum.org" >> $1; + fi if [ "$WHO" == "deva" ]; then echo " Bent Bisballe Nyeng" >> $1; |