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 /doc/documentation/Makefile.am | |
| parent | be70bbdc64b58d7a8e5a3f37168ad39efdc51d1d (diff) | |
| download | gnunet-15314f41abc02547eaf2dd51f7c041a10bc62138.tar.gz gnunet-15314f41abc02547eaf2dd51f7c041a10bc62138.zip | |
fix
Diffstat (limited to 'doc/documentation/Makefile.am')
| -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 | ||