Stefan Fiedler:

package/jimmy/divx4linux/divx4linux.conf

@@ -33,7 +33,7 @@ divx4linux_main() {
 	rm -f $root/$prefix/lib/libdivxencore.so.0*
 	ln -s libdivxencore.so $root/$prefix/lib/libdivxencore.so.0.0.0
 	ln -s libdivxencore.so $root/$prefix/lib/libdivxencore.so.0
-	cp -f decore.h encore2.h $root/$prefix/include
+	cp -f decore.h encore2.h portab.h $root/$prefix/include
 
 	cp -f *.htm $docdir
 }