diff options
Diffstat (limited to 'docs')
| -rwxr-xr-x | docs/xml-docs/makedoc.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/xml-docs/makedoc.sh b/docs/xml-docs/makedoc.sh index bb9985d1e..340b0eb44 100755 --- a/docs/xml-docs/makedoc.sh +++ b/docs/xml-docs/makedoc.sh @@ -1,5 +1,5 @@ #!/bin/sh - +#This file should be executable echo echo "Converting Fop's xml documentation into a pdf file" echo "----------------" |