From: Giovanni Mascellani <gio@debian.org>
Date: Sun, 15 Apr 2018 22:24:30 +0200
Subject: Fix user manual PDF filename.

Debian Policy mandates documentation files to be gzipped, so we
patch Mandelbulber2's automatic opener.
---
 mandelbulber2/src/render_window_menu.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mandelbulber2/src/render_window_menu.cpp b/mandelbulber2/src/render_window_menu.cpp
index d75c637..4ead92a 100644
--- a/mandelbulber2/src/render_window_menu.cpp
+++ b/mandelbulber2/src/render_window_menu.cpp
@@ -111,7 +111,7 @@ void RenderWindow::slotMenuAboutQt()
 
 void RenderWindow::slotMenuAboutManual()
 {
-	QString filename = systemData.docDir + "Mandelbulber_Manual.pdf";
+	QString filename = systemData.docDir + "handbook.pdf.gz";
 	QDesktopServices::openUrl(QUrl::fromLocalFile(filename));
 }
 
