Merge: doc: fixed some typos and other misc. corrections

[nit.git] / misc / jenkins / listnit.sh

diff --git a/misc/jenkins/listnit.sh b/misc/jenkins/listnit.sh
index 2d38c2f..d0f1ac8 100755 (executable)
--- a/misc/jenkins/listnit.sh
+++ b/misc/jenkins/listnit.sh
@@ -26,7 +26,7 @@
 exclude="parser_abs.nit\|nitcc_lexer0"
 
 # Directories needed for explicit -I options.
-includedirs="src contrib/tnitter/src/ contrib/benitlux/src/ examples/ contrib/wiringPi/lib/"
+includedirs="src contrib/tnitter/src/ contrib/benitlux/src/ examples/ contrib/wiringPi/lib/ contrib/opportunity/src/"
 
 # Flag -I
 incl=""