Added a tool to create JavaDoc documentation more easily
[mir.git] / doc / classpath.sh
1 #!/bin/bash
2 #
3 # Usage:
4 # classpath.sh [ownpath]
5 #
6 # ownpath: anzuhaengende persoenliche Klassen-Pfade
7 #
8
9
10 RCFILE=classpathrc
11
12 # classpathrc auswerten
13 DUM=$( cat $RCFILE )
14         
15 # Zeilenumbrueche entfernen und Tilde erweitern
16 DUM2=$( for i in $DUM ; do eval echo -n "$i:" ; done )
17
18 # Sicherstellen, dass kein doppelter Doppelpunkt in CLASSPATH enthalten ist. Nur wegen der Sicherheit.
19 echo "$(/bin/echo $DUM2 | /bin/sed -e "s/::/:/g")"
20