From 020fc7c0c1fab37a760284bd405cde3adc076126 Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Sun, 13 Sep 2015 20:44:19 -0500 Subject: [PATCH] Remove a duplicate entry. --- doc/doxygen/options.dox.in | 1 - 1 file changed, 1 deletion(-) diff --git a/doc/doxygen/options.dox.in b/doc/doxygen/options.dox.in index eb55665af1..076b75008c 100644 --- a/doc/doxygen/options.dox.in +++ b/doc/doxygen/options.dox.in @@ -176,7 +176,6 @@ PREDEFINED = DOXYGEN=1 \ DEAL_II_WITH_SLEPC=1 \ DEAL_II_WITH_THREADS=1 \ DEAL_II_WITH_TRILINOS=1 \ - DEAL_II_WITH_TRILINOS =1 \ DEAL_II_WITH_UMFPACK=1 \ DEAL_II_WITH_ZLIB=1 \ DEAL_II_NAMESPACE_OPEN= \ -- 2.39.5