From 748e42ae98a88aed3a442e1d7e3f4a35275fd813 Mon Sep 17 00:00:00 2001
From: Reinhard Pointner <reinhard.pointner@gmail.com>
Date: Wed, 8 Feb 2017 23:32:45 +0800
Subject: [PATCH] Auto-generate FileBot API docs

---
 build.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.xml b/build.xml
index 632e721c..3a01824f 100644
--- a/build.xml
+++ b/build.xml
@@ -748,7 +748,7 @@
 
 
 	<target name="website-docs" depends="revision">
-		<javadoc destdir="${dir.dist}/website/docs" linksource="yes" access="public" classpathref="lib.classpath" encoding="UTF-8" charset="UTF-8" windowtitle="${application.name}" noindex="yes" nohelp="yes" notree="yes" nodeprecated="yes">
+		<javadoc destdir="${dir.dist}/website/docs" linksource="yes" access="public" classpathref="lib.classpath" encoding="UTF-8" charset="UTF-8" windowtitle="${application.name}" noindex="yes" nohelp="yes" notree="yes" nodeprecated="yes" nonavbar="yes">
 			<fileset dir="${dir.source}" includesfile="${dir.website}/docs/includes.fileset" />
 			<doctitle>${application.name} ${application.version}</doctitle>
 			<bottom>${application.name} ${application.version} (r${revision}) built on ${tstamp.date}</bottom>