diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2013-04-10 00:10:23 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2013-04-10 00:10:23 +0200 |
| commit | 486a456d4d456f712ca9bb7b63cd58aadbaef536 (patch) | |
| tree | dc7e097f8e79914c92167a80126fc973351b59f4 | |
| parent | 47ad34fad6d79c93e1d1a213641c747ba05a3ef6 (diff) | |
Make `build-aux/gendocs.sh' executable.
| -rwxr-xr-x[-rw-r--r--] | build-aux/gendocs.sh | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/build-aux/gendocs.sh b/build-aux/gendocs.sh index e4bfc9fd2..e4bfc9fd2 100644..100755 --- a/build-aux/gendocs.sh +++ b/build-aux/gendocs.sh |