Merge pull request #858 from JalapenoGremlin/patch-1

Build the info files.
This commit is contained in:
Steve Purcell 2013-07-01 08:04:34 -07:00
commit c0a4c225c0

View file

@ -1,3 +1,3 @@
(ecb :repo "alexott/ecb" (ecb :repo "alexott/ecb"
:fetcher github :fetcher github
:files ("*.el" "ecb-images" "ecb2")) :files ("*.el" "ecb-images" "ecb2" "ecb.texi"))