diff -r 9af34a1d33b7 -r f6b58bdaf134 doc/manual_beremiz.pdf Binary file doc/manual_beremiz.pdf has changed