diff options
Diffstat (limited to 'admin')
| -rw-r--r-- | admin/makedoc.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/admin/makedoc.sh b/admin/makedoc.sh index 12ed749..37cd0b1 100644 --- a/admin/makedoc.sh +++ b/admin/makedoc.sh @@ -1,2 +1,5 @@ #!/bin/sh -phpdoc -p -t doc -d Auth -ti "JanRain OpenID Library" -dn "OpenID" -o "HTML:frames:phphtmllib" +set -v +phpdoc -p -t doc -d Auth -ti "JanRain OpenID Library" \ + --ignore \*~ \ + -dn "OpenID" -o "HTML:frames:phphtmllib" |