Merge pull request #52643 from jabranham/ledger-info

ledger: Include info files
This commit is contained in:
Matthew Bauer 2019-01-08 16:03:56 -06:00 committed by GitHub
commit cd8c1a4053
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -22,7 +22,15 @@ stdenv.mkDerivation rec {
enableParallelBuilding = true; enableParallelBuilding = true;
cmakeFlags = [ "-DCMAKE_INSTALL_LIBDIR=lib" (stdenv.lib.optionalString usePython "-DUSE_PYTHON=true") ]; cmakeFlags = [
"-DCMAKE_INSTALL_LIBDIR=lib"
"-DBUILD_DOCS:BOOL=ON"
(stdenv.lib.optionalString usePython "-DUSE_PYTHON=true")
];
postBuild = ''
make doc
'';
# Skip byte-compiling of emacs-lisp files because this is currently # Skip byte-compiling of emacs-lisp files because this is currently
# broken in ledger... # broken in ledger...