blob: ea0a20cba061b120d0c5825f68438db592738885 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
We already have pre-generated docs. Don't bother looking for Doxygen.
----
diff --git a/configure b/configure
index c366701..3895d4f 100755
--- a/configure
+++ b/configure
@@ -1106,13 +1106,7 @@ rm -f _test_end*
printf "checking for Doxygen... "
-if (doxygen --version); then
- # Version is printed, if found.
- DOXYGEN=doxygen
-else
- # Not found is already printed, if doxygen is not found.
- DOXYGEN="\#"
-fi
+DOXYGEN="\#"
###############################################################################
|
GitWeb
