From 5bb79438fe7d416980f3ed451c24895423ef9156 Mon Sep 17 00:00:00 2001
From: Christian Engwer <christi@dune-project.org>
Date: Wed, 4 Nov 2009 22:31:43 +0000
Subject: [PATCH] skip dunedoxynize if we don't have a Doxylocal file

[[Imported from SVN: r5695]]
---
 bin/dunedoxynize | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/bin/dunedoxynize b/bin/dunedoxynize
index f93a76c59..8a0be163e 100755
--- a/bin/dunedoxynize
+++ b/bin/dunedoxynize
@@ -108,6 +108,11 @@ if ! [ -f dune.module ]; then
   exit 1
 fi
 
+# don't do anything if we have old style Doxyfile or Doxyfile.in, but no Doxylocal
+if [ $# -eq 0 ] && ! [ -f "$DOXYDIR/Doxylocal" ]; then
+  exit 0
+fi
+
 # quite if your module doesn't have any documentation
 if ! [ -d "$OUTDIR" ]; then
   if [ $# -eq 0 ]; then
-- 
GitLab