equal
deleted
inserted
replaced
1 #!/bin/sh |
1 #!/bin/sh |
2 # |
2 # |
3 # $Id: configure 715 2009-12-30 13:28:15Z dimitri $ |
3 # $Id: configure 727 2010-04-18 13:59:11Z dimitri $ |
4 # |
4 # |
5 # Copyright (C) 1997-2008 by Dimitri van Heesch. |
5 # Copyright (C) 1997-2008 by Dimitri van Heesch. |
6 # |
6 # |
7 # Permission to use, copy, modify, and distribute this software and its |
7 # Permission to use, copy, modify, and distribute this software and its |
8 # documentation under the terms of the GNU General Public License is hereby |
8 # documentation under the terms of the GNU General Public License is hereby |
15 # |
15 # |
16 # shell script to configure doxygen |
16 # shell script to configure doxygen |
17 |
17 |
18 doxygen_version_major=1 |
18 doxygen_version_major=1 |
19 doxygen_version_minor=6 |
19 doxygen_version_minor=6 |
20 doxygen_version_revision=2 |
20 doxygen_version_revision=3 |
21 |
21 |
22 #NOTE: Setting version_mmn to "NO" will omit mmn info from the package. |
22 #NOTE: Setting version_mmn to "NO" will omit mmn info from the package. |
23 doxygen_version_mmn=20100106_dita_0.1.50 |
23 doxygen_version_mmn=20100418_dita_0.1.63 |
24 |
24 |
25 bin_dirs=`echo $PATH | sed -e "s/:/ /g"` |
25 bin_dirs=`echo $PATH | sed -e "s/:/ /g"` |
26 |
26 |
27 f_debug=NO |
27 f_debug=NO |
28 f_shared=YES |
28 f_shared=YES |