diff options
-rw-r--r-- | Makefile | 2 | ||||
-rw-r--r-- | docs/doxygen.cfg | 2 |
2 files changed, 2 insertions, 2 deletions
@@ -274,7 +274,7 @@ $(build_dir)/docs/latex/refman.tex: $(build_dir)/docs/doxygen.cfg $(CMD_PREFIX)doxygen $(build_dir)/docs/doxygen.cfg $(build_dir)/docs/doxygen.cfg: $(src_dir)/docs/doxygen.cfg $(CMD_PREFIX)mkdir -p $(build_dir)/docs - $(CMD_PREFIX)cat docs/doxygen.cfg | sed -e "s#@@SRC_DIR@@#$(src_dir)#" -e "s#@@BUILD_DIR@@#$(build_dir)#" > $(build_dir)/docs/doxygen.cfg + $(CMD_PREFIX)cat docs/doxygen.cfg | sed -e "s#@@SRC_DIR@@#$(src_dir)#" -e "s#@@BUILD_DIR@@#$(build_dir)#" -e "s#@@OPENSBI_MAJOR@@#$(MAJOR)#" -e "s#@@OPENSBI_MINOR@@#$(MINOR)#" > $(build_dir)/docs/doxygen.cfg .PHONY: docs docs: $(build_dir)/docs/latex/refman.pdf diff --git a/docs/doxygen.cfg b/docs/doxygen.cfg index 344b085..484090b 100644 --- a/docs/doxygen.cfg +++ b/docs/doxygen.cfg @@ -38,7 +38,7 @@ PROJECT_NAME = "RISC-V OpenSBI" # could be handy for archiving the generated documentation or if some version # control system is used. -PROJECT_NUMBER = +PROJECT_NUMBER = "v@@OPENSBI_MAJOR@@.@@OPENSBI_MINOR@@" # Using the PROJECT_BRIEF tag one can provide an optional one line description # for a project that appears at the top of each page and should give viewer a |