In particolare su un Raspberry Pi (con Raspbian Wheezy), ma anche in generale, posso disabilitare tutte le pagine man?
Ciò significherebbe nessuna man page memorizzata, nessun "trigger di elaborazione per man-db" e così via e così via. Con le pagine di manuale sempre disponibili su Internet, non ho davvero bisogno che siano installate e la loro generazione e memorizzazione sembra superflua.
/usr/share/doc
.