PDF manual for ngspice
