From a037bbfc5673609618a1334b67e349780003dc75 Mon Sep 17 00:00:00 2001
From: Georg Hopp <georg@steffers.org>
Date: Sun, 6 Oct 2013 21:59:45 +0100
Subject: [PATCH] and put it to extra_dist

---
 docs/Makefile.am | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/docs/Makefile.am b/docs/Makefile.am
index 9f6dce2..41d615a 100644
--- a/docs/Makefile.am
+++ b/docs/Makefile.am
@@ -5,6 +5,8 @@ if HAVE_DOXYGEN
 # $(directory)/man_page_1.3: doxyfile.stamp
 # $(directory)/man_page_2.3: doxyfile.stamp
 
+EXTRA_DIST = Doxyfile.in
+
 .PHONY: docs
 
 docs: