INSTALL: Update instructions for building the manual.
[pulseview.git] / manual / manual.txt
2018-10-27 Uwe Hermannmanual: Rename pulseview_manual.* to manual.*.