diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/Makefile.am | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am deleted file mode 100644 index 2378db2..0000000 --- a/doc/Makefile.am +++ /dev/null @@ -1,15 +0,0 @@ -EXTRA_DIST = reference.doxygen.in mainpage.dox - -if HAVE_DOXYGEN -all: docs -else -all: -endif - -reference.doxygen: @RAUL_SRCDIR@/doc/reference.doxygen.in - -distclean-local: - rm -rf html - -docs: reference.doxygen @RAUL_SRCDIR@/raul/*.hpp - doxygen reference.doxygen |