diff options
| -rw-r--r-- | doc/src/Makefile.am | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/src/Makefile.am b/doc/src/Makefile.am index 40a0c09d..8ff2723b 100644 --- a/doc/src/Makefile.am +++ b/doc/src/Makefile.am @@ -8,14 +8,14 @@ # (at your option) any later version. # Please read the file COPYING, README and AUTHORS for more information. # -# $Id: Makefile.am,v 1.2 2006/04/08 16:35:03 alex Exp $ +# $Id: Makefile.am,v 1.3 2006/12/28 14:04:28 alex Exp $ # maintainer-clean-local: rm -f Makefile Makefile.in distclean-local: - rm -f html + rm -rf html srcdoc: @doxygen --version >/dev/null 2>&1 \ |