diff options
| -rw-r--r-- | docs/Makefile | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/docs/Makefile b/docs/Makefile index 92ba96107c..d7442d9d36 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -10,6 +10,15 @@ LEVEL := .. DIRS := CommandGuide +ifdef BUILD_FOR_WEBSITE +PROJ_OBJ_DIR = . +DOXYGEN = doxygen + +doxygen.cfg: doxygen.cfg.in + cat $< | sed 's/@abs_top_srcdir@/../g' | sed 's/@DOT@/dot/g' | \ + sed 's/@PACKAGE_VERSION@/CVS/g' | sed 's/@abs_top_builddir@/../g' > $@ +endif + include $(LEVEL)/Makefile.common HTML := $(wildcard $(PROJ_SRC_DIR)/*.html) \ |