fix install package -> texinfo

This commit is contained in:
bebbo
2018-05-14 22:29:01 +02:00
parent 7f80f88c75
commit 97e59baf76
+1 -1
View File
@@ -1,5 +1,5 @@
language: c
before_install: sudo apt-get install make git gcc g++ lhasa libgmp-dev libmpfr-dev libmpc-dev flex gettext makeinfo
before_install: sudo apt-get install make git gcc g++ lhasa libgmp-dev libmpfr-dev libmpc-dev flex gettext texinfo
install: make update -j
script:
- make info PREFIX=$PWD/prefix