diff options
Diffstat (limited to 'docs/naturaldocs/run_docs.sh')
| -rwxr-xr-x | docs/naturaldocs/run_docs.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/naturaldocs/run_docs.sh b/docs/naturaldocs/run_docs.sh index 07baac6..0bc3ae3 100755 --- a/docs/naturaldocs/run_docs.sh +++ b/docs/naturaldocs/run_docs.sh @@ -60,7 +60,7 @@ mkdir tmp perl nobgd.pl ../../src/ tmp/ # Add the external docs. -cp license.txt tmp/ +echo "Title: License" | cat - ../../COPYING > tmp/license.txt sed -e "s/@VERSION@/$VERSION/g" preamble.txt > tmp/preamble.txt # ^^^ hack to get the version number in the docs. |