Commit 85a207a7 authored by Antoine Martin's avatar Antoine Martin
Browse files

Change default makeinfo path

With the switch to UIOP:RUN-PROGRAM, it makes sense to default to
the one found in the path. The user can still specify a custom
location if needed.
parent 96311337
...@@ -97,7 +97,7 @@ The resulting .texi file is placed inside the release's directory, in ...@@ -97,7 +97,7 @@ The resulting .texi file is placed inside the release's directory, in
(dolist (release (ql-dist:provided-releases t)) (dolist (release (ql-dist:provided-releases t))
(ql-dist:uninstall release))) (ql-dist:uninstall release)))
(defparameter *makeinfo-path* "/usr/local/bin/makeinfo") (defparameter *makeinfo-path* "makeinfo")
(defparameter *log-errors* t) (defparameter *log-errors* t)
(defparameter *remove-cache* nil) (defparameter *remove-cache* nil)
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment