Fixed Makefile for minitoc; rpi1 subsections; welcome reboot mod
Makefile fiddling