diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2016-07-13 12:40:42 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2016-07-13 23:26:04 +0200 |
| commit | 66f8f5f9c35861aa48dd7f8564f2becddf631af3 (patch) | |
| tree | 7daa1c244fd466563e8c3b7942d3bed2e17606c7 /gnu | |
| parent | a7e7981c7dab4264ef44fdbd2d876e39eac07126 (diff) | |
| download | patches-66f8f5f9c35861aa48dd7f8564f2becddf631af3.tar patches-66f8f5f9c35861aa48dd7f8564f2becddf631af3.tar.gz | |
gnu: screen: Remove unneeded configure flags.
* gnu/packages/screen.scm (screen)[arguments]: Remove --infodir and
--mandir, which are no longer needed.
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/screen.scm | 13 |
1 files changed, 3 insertions, 10 deletions
diff --git a/gnu/packages/screen.scm b/gnu/packages/screen.scm index eafb3a8283..db8da0ae30 100644 --- a/gnu/packages/screen.scm +++ b/gnu/packages/screen.scm @@ -49,16 +49,9 @@ ("perl" ,perl))) (arguments `(#:configure-flags - (let ((out (assoc-ref %outputs "out"))) - (list - ;; By default, man and info pages are put in PREFIX/{man,info}, - ;; but we want them in PREFIX/share/{man,info}. - (string-append "--mandir=" out "/share/man") - (string-append "--infodir=" out "/share/info") - - ;; By default, screen supports 16 colors, but we want 256 when - ;; ~/.screenrc contains 'term xterm-256color' - "--enable-colors256")))) + ;; By default, screen supports 16 colors, but we want 256 when + ;; ~/.screenrc contains 'term xterm-256color'. + '("--enable-colors256"))) (home-page "http://www.gnu.org/software/screen/") (synopsis "Full-screen window manager providing multiple terminals") (description |