Fixed .info file generation (hopfully).

This commit is contained in:
Oliver Schmidt 2014-02-28 21:45:04 +01:00
parent 18ecd68977
commit 9c95306a69
1 changed files with 1 additions and 1 deletions

View File

@ -1,7 +1,7 @@
language:
- c
install:
- sudo apt-get install linuxdoc-tools
- sudo apt-get install linuxdoc-tools linuxdoc-tools-info
script:
- make all doc
after_success: