diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-10-04 12:20:07 +0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-10-04 12:20:07 +0000 |
| commit | 0ef3bd3c376a2d48e98dfb8712a7d376743b0498 (patch) | |
| tree | 3e5b1c12b7b9ada6ca43d3ec6091cf2058246533 /doc/manual/Makefile.am | |
| parent | 4a7ece698ba27e8957fed071434e3e66c337b03b (diff) | |
* Use GIF callouts instead of PNG since the GIFs have transparency.
Diffstat (limited to 'doc/manual/Makefile.am')
| -rw-r--r-- | doc/manual/Makefile.am | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/doc/manual/Makefile.am b/doc/manual/Makefile.am index 1e490e8ff..9c2e308da 100644 --- a/doc/manual/Makefile.am +++ b/doc/manual/Makefile.am @@ -5,7 +5,11 @@ XSLTPROC = $(xsltproc) $(xmlflags) \ --param html.stylesheet \'style.css\' \ --param xref.with.number.and.title 1 \ --param toc.section.depth 3 \ - --param admon.style \'\' + --param admon.style \'\' \ + --param callout.graphics.extension \'.gif\' + +# Note: we use GIF for now, since the PNGs shipped with Docbook aren't +# transparent. man1_MANS = nix-env.1 nix-build.1 nix-store.1 nix-instantiate.1 \ nix-collect-garbage.1 nix-push.1 nix-pull.1 \ @@ -73,9 +77,9 @@ install-data-local: manual.html images: mkdir images - cp $(docbookxsl)/images/*.png images +# cp $(docbookxsl)/images/*.gif images mkdir images/callouts - cp $(docbookxsl)/images/callouts/*.png images/callouts + cp $(docbookxsl)/images/callouts/*.gif images/callouts chmod -R +w images KEEP = manual.html manual.is-valid version.txt $(MANS) NEWS.html NEWS.txt |