Merge pull request #63139 from yrashk/picolisp-w3m-help

picolisp: fix help functionality
This commit is contained in:
Michael Raskin 2019-06-16 06:50:14 +00:00 committed by GitHub
commit 2edd48b4fd
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,4 +1,4 @@
{ stdenv, fetchurl, jdk, makeWrapper }:
{ stdenv, fetchurl, jdk, w3m, makeWrapper }:
with stdenv.lib;
stdenv.mkDerivation rec {
@ -33,6 +33,7 @@ stdenv.mkDerivation rec {
makeWrapper $out/bin/picolisp $out/bin/pil \
--prefix PATH : ${w3m}/bin \
--add-flags "$out/lib/picolisp/lib.l" \
--add-flags "@lib/misc.l" \
--add-flags "@lib/btree.l" \