fixes #25

rmpestano · Jul 21, 2015 · 99a3b1f · 99a3b1f
1 parent a263e47
commit 99a3b1f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/cukedoctor-maven-plugin/src/main/java/com/github/cukedoctor/mojo/CukedoctorMojo.java b/cukedoctor-maven-plugin/src/main/java/com/github/cukedoctor/mojo/CukedoctorMojo.java
@@ -90,7 +90,7 @@ public void execute() throws MojoExecutionException, MojoFailureException {
 				toc(toc.name().toLowerCase()).
 				numbered(numbered).minimizable(minimizable).searchable(searchable);
 		if (format.equals(Format.pdf)) {
-			documentAttributes.pdfTheme(true).minimizable(false).docInfo(false);
+			documentAttributes.pdfTheme(true).minimizable(false).searchable(false).docInfo(false);
 		} else {
 			documentAttributes.docInfo(true).pdfTheme(false);
 		}