From 7c0d9523793e4e2f1e4ab23faa37beab430a5008 Mon Sep 17 00:00:00 2001
From: Dirk Ziegelmeier <dirk@ziegelmeier.net>
Date: Thu, 18 Aug 2016 21:09:34 +0200
Subject: [PATCH] Add explicit documentation page about reporting bugs

---
 doc/doxygen/main_page.h | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/doc/doxygen/main_page.h b/doc/doxygen/main_page.h
index f93c5dff..6486a17d 100644
--- a/doc/doxygen/main_page.h
+++ b/doc/doxygen/main_page.h
@@ -31,6 +31,13 @@
  * @verbinclude "contrib.txt"
  */
 
+/**
+ * @page bugs Reporting bugs
+ * Please report bugs in the lwIP bug tracker at savannah.\n
+ * BEFORE submitting, please check if the bug has already been reported!\n
+ * https://savannah.nongnu.org/bugs/?group=lwip
+ */
+
 /**
  * @defgroup lwip_nosys Mainloop mode ("NO_SYS")
  * @ingroup lwip