|
9906
|
1 #! /bin/sh |
|
|
2 |
|
|
3 if [ $# -ne 1 ]; then |
|
|
4 echo "usage: find-docstring-files TOP-SRCDIR" 1>&2 |
|
|
5 exit 1 |
|
|
6 fi |
|
|
7 |
|
|
8 ## if there is a file in teh build directory tree, assume it is |
|
|
9 ## the file we are looking for. Otherwise, get the one from the |
|
|
10 ## source tree. |
|
|
11 |
|
|
12 if [ -f "../../scripts/DOCSTRINGS" ]; then |
|
|
13 echo "../../scripts/DOCSTRINGS" |
|
|
14 else |
|
|
15 echo "$1/scripts/DOCSTRINGS" |
|
|
16 fi |
|
|
17 |
|
|
18 if [ -f "../../src/DOCSTRINGS" ]; then |
|
|
19 echo "../../src/DOCSTRINGS" |
|
|
20 else |
|
|
21 echo "$1/src/DOCSTRINGS" |
|
|
22 fi |
