diff options
| author | Christian Grothoff <christian@grothoff.org> | 2019-02-10 16:49:06 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2019-02-10 16:49:06 +0100 |
| commit | bda4ec98e091f1fcdb17cc43e956f8053a37fb15 (patch) | |
| tree | 1ed4fefd26287fcb3711e5ace09076188197595a /doc/handbook/Makefile.am | |
| parent | d974bae720beaea9223a8729f4e6c88c326c522b (diff) | |
| download | gnunet-bda4ec98e091f1fcdb17cc43e956f8053a37fb15.tar.gz gnunet-bda4ec98e091f1fcdb17cc43e956f8053a37fb15.zip | |
try use manual.css instead of docstyle.css
Diffstat (limited to 'doc/handbook/Makefile.am')
| -rw-r--r-- | doc/handbook/Makefile.am | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/handbook/Makefile.am b/doc/handbook/Makefile.am index 8be033f23..1be5d1da7 100644 --- a/doc/handbook/Makefile.am +++ b/doc/handbook/Makefile.am | |||
| @@ -9,7 +9,7 @@ infoimagedir = $(infodir)/images | |||
| 9 | # $(DOT_FILES:%.dot=%.eps) \ | 9 | # $(DOT_FILES:%.dot=%.eps) \ |
| 10 | # $(DOT_FILES:%.dot=%.pdf) | 10 | # $(DOT_FILES:%.dot=%.pdf) |
| 11 | 11 | ||
| 12 | AM_MAKEINFOHTMLFLAGS = --no-split --css-ref=docstyle.css | 12 | AM_MAKEINFOHTMLFLAGS = --no-split --css-ref=manual.css |
| 13 | 13 | ||
| 14 | dist_infoimage_DATA = \ | 14 | dist_infoimage_DATA = \ |
| 15 | images/gnunet-gtk-0-10-gns-a-done.png \ | 15 | images/gnunet-gtk-0-10-gns-a-done.png \ |
| @@ -78,7 +78,7 @@ dist_infoimage_DATA = \ | |||
| 78 | 78 | ||
| 79 | 79 | ||
| 80 | info_TEXINFOS = \ | 80 | info_TEXINFOS = \ |
| 81 | gnunet.texi | 81 | gnunet.texi |
| 82 | 82 | ||
| 83 | gnunet_TEXINFOS = \ | 83 | gnunet_TEXINFOS = \ |
| 84 | chapters/developer.texi \ | 84 | chapters/developer.texi \ |