OpenOCD Manual und Binary

Hallo,

kann mir jemand erklären, warum für OpenOCD die Anleitung für das 
release 0.8.0-dev geschrieben ist, während die aktuellste OpenOCD 0.7.0 
ist?

Ich habe mir vor kurzem auf dem Arbeitsplatzrechner unter Ubuntu 
10.04LTS OpenOCD installiert und diese zum Flashen genutzt, mache ich 
das zu Hause auf 12.04LTS, verhält sich das gänzlich anders, die Befehle 
scheinen nicht mehr dieselben, obwohl gleiches Board genutzt wird.

Wäre dann ja hilfreich, zur jeweiligen OpenOCD-Version das passende 
Manual zu bekommen.


Gruß