diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2015-06-21 23:25:19 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2015-06-21 23:39:12 +0200 |
| commit | a8f996c605c181e5adae0de24b235d463825beab (patch) | |
| tree | 961a6ab8c294261cf3e8ac67514a6abf68e6cdab /doc.am | |
| parent | 550bd3f2da055f05760a439804d77facea7b2202 (diff) | |
size: Add '--map-file' option.
* guix/scripts/size.scm (profile->page-map): New procedures.
(show-help, %options): Add --map-file.
(guix-size): Honor it.
* doc/guix.texi (Invoking guix size): Document it.
* doc/images/coreutils-size-map.png: New file.
* doc.am (dist_infoimage_DATA): Add it.
Diffstat (limited to 'doc.am')
| -rw-r--r-- | doc.am | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -40,7 +40,9 @@ doc/os-config-%.texi: gnu/system/examples/%.tmpl cp "$<" "$@" infoimagedir = $(infodir)/images -dist_infoimage_DATA = doc/images/bootstrap-graph.png +dist_infoimage_DATA = \ + doc/images/bootstrap-graph.png \ + doc/images/coreutils-size-map.png # Try hard to obtain an image size and aspect that's reasonable for inclusion # in an Info or PDF document. |