diff options
author | ng0 <ng0@infotropique.org> | 2017-10-27 16:22:47 +0000 |
---|---|---|
committer | ng0 <ng0@infotropique.org> | 2017-10-27 16:22:47 +0000 |
commit | 15314f41abc02547eaf2dd51f7c041a10bc62138 (patch) | |
tree | bbfc0eeb0df330b54835f8095545384bb8fe84b2 | |
parent | be70bbdc64b58d7a8e5a3f37168ad39efdc51d1d (diff) | |
download | gnunet-15314f41abc02547eaf2dd51f7c041a10bc62138.tar.gz gnunet-15314f41abc02547eaf2dd51f7c041a10bc62138.zip |
fix
-rw-r--r-- | doc/documentation/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/documentation/Makefile.am b/doc/documentation/Makefile.am index de23ea142..66be6dfe4 100644 --- a/doc/documentation/Makefile.am +++ b/doc/documentation/Makefile.am | |||
@@ -187,7 +187,7 @@ doc-all-install: | |||
187 | 187 | ||
188 | doc-gendoc-install: | 188 | doc-gendoc-install: |
189 | @mkdir -p $(DESTDIR)/$(docdir) | 189 | @mkdir -p $(DESTDIR)/$(docdir) |
190 | @install -m 0755 manual $(DESTDIR)/$(docdir) | 190 | @cp -r manual $(DESTDIR)/$(docdir) |
191 | 191 | ||
192 | # @cp -r images $(DESTDIR)/$(infoimagedir) | 192 | # @cp -r images $(DESTDIR)/$(infoimagedir) |
193 | 193 | ||