manual/generate: Always generate a PDF manual as well by default.
[pulseview.git] / manual / images / device_selector.png
manual/images/device_selector.png