diff -r 30113bfbe723 -r b3afb9f1e801 doc/HOWTO.pdf
Binary file doc/HOWTO.pdf has changed