diff options
| author | Christian Persch <chpe@src.gnome.org> | 2008-10-24 17:46:27 +0000 |
|---|---|---|
| committer | Christian Persch <chpe@src.gnome.org> | 2008-10-24 17:46:27 +0000 |
| commit | 9f1b29b6b596155e214e89ea7239609152ef3802 (patch) | |
| tree | 75e9f5b5678ee2c70e4496fbeff5f520ec700551 /tools | |
| parent | 1708339cce2527ee4678a215087627b9e1ea022f (diff) | |
| download | gnome-doc-utils-9f1b29b6b596155e214e89ea7239609152ef3802.tar.gz | |
chmod +x gnome-doc-{tool,prepare} on configure. Bug #557732.
* configure.in: chmod +x gnome-doc-{tool,prepare} on configure. Bug
#557732.
svn path=/trunk/; revision=1127
Diffstat (limited to 'tools')
| -rw-r--r--[-rwxr-xr-x] | tools/gnome-doc-tool.in | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/tools/gnome-doc-tool.in b/tools/gnome-doc-tool.in index b1f7ee8..b1f7ee8 100755..100644 --- a/tools/gnome-doc-tool.in +++ b/tools/gnome-doc-tool.in |