From: Uwe Hermann <uwe@hermann-uwe.de>
Date: Thu, 6 Sep 2018 07:50:57 +0000 (+0200)
Subject: manual/generate: Always generate a PDF manual as well by default.
X-Git-Url: http://git.code-monkey.de/?a=commitdiff_plain;ds=sidebyside;h=fa7359bc55fa3af11602db12347426cb4ae902fa;hp=fa7359bc55fa3af11602db12347426cb4ae902fa;p=pulseview.git

manual/generate: Always generate a PDF manual as well by default.
---