From 4d232ec1a2faafc0b8cf43e34fc53e883b38de9a Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Fri, 20 May 2016 01:18:46 -0400 Subject: [PATCH] chore(.travis.yml): fix lean path for generating js/completion.js --- .travis.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.travis.yml b/.travis.yml index b1e0863c..30b156d6 100644 --- a/.travis.yml +++ b/.travis.yml @@ -71,7 +71,7 @@ script: - EMACS_BIN=emacs make # Build completion.js - echo "var completions = [" > js/completion.js - - lean --server < js/completion_input.in | grep "|" | grep -v "^private\." | sort | uniq | sed -e "s/\([^|]\+\)|\(.\+\)/{name:\"\1\", value:\"\1\", meta:\"\2\"},/" >> js/completion.js + - ./lean/bin/lean --server < js/completion_input.in | grep "|" | grep -v "^private\." | sort | uniq | sed -e "s/\([^|]\+\)|\(.\+\)/{name:\"\1\", value:\"\1\", meta:\"\2\"},/" >> js/completion.js - echo "]" >> js/completion.js # Build input-method.js - cask exec emacs --no-site-file --no-site-lisp -q --batch -l ./elisp/org-html-export.el -l ./lean/src/emacs/lean-input.el -f lean-input-export-translations-to-stdout > js/input-method.js