manual/generate: Always generate a PDF manual as well by default.
[pulseview.git] / manual / installation.txt
2018-09-05 Soeren ApelManual: Initial revision