From 3ddacb8af07ce09c68ebc6596c581242b00b555c Mon Sep 17 00:00:00 2001 From: glisse Date: Wed, 1 Mar 2017 15:40:37 +0000 Subject: Remove Debian directory. It will be handled separately in Debian. git-svn-id: svn+ssh://scm.gforge.inria.fr/svnroot/gudhi/trunk@2124 636b058d-ea47-450e-bf9e-a15bfbe3eedb Former-commit-id: e1b94bc17059f1bbaa88c1117e044d205efb5582 --- src/Doxyfile | 1 - 1 file changed, 1 deletion(-) (limited to 'src/Doxyfile') diff --git a/src/Doxyfile b/src/Doxyfile index a41c6d6f..3ec4ac9a 100644 --- a/src/Doxyfile +++ b/src/Doxyfile @@ -784,7 +784,6 @@ EXCLUDE = data/ \ example/ \ GudhUI/ \ cmake/ \ - debian/ \ include/gudhi_patches/ # The EXCLUDE_SYMLINKS tag can be used to select whether or not files or -- cgit v1.2.3