Stig Bjørlykke wrote: > Do we update the manuf file any other way than running the make-manuf > and commit the new generated file? I haven't seen this file > automatically updated when we make a release. Maybe we should? It > has been some months since it has been updated... I've added a script to update it every Sunday.