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 /etc | |
| parent | 550bd3f2da055f05760a439804d77facea7b2202 (diff) | |
| download | patches-a8f996c605c181e5adae0de24b235d463825beab.tar patches-a8f996c605c181e5adae0de24b235d463825beab.tar.gz | |
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 'etc')
0 files changed, 0 insertions, 0 deletions