diff options
author | Anup Patel <anup.patel@wdc.com> | 2019-01-14 09:55:01 +0300 |
---|---|---|
committer | Anup Patel <anup@brainfault.org> | 2019-01-16 08:55:25 +0300 |
commit | c2e0b0291475a49f6c923ee7fda864fb2c3c2c6d (patch) | |
tree | f8ab986ebf295c92c099fd9f9e3dc8770c253d90 /README.md | |
parent | 2e5ede82796960435fff80b27b21dfb399d2e2fb (diff) | |
download | opensbi-c2e0b0291475a49f6c923ee7fda864fb2c3c2c6d.tar.xz |
Makefile: Add make targets to build and install documentation
This patch extends top-level makefile to build and install
documentation. The 'docs' make target is for building the
documentation PDF whereas 'install_docs' make target is for
installing the documentation PDF.
Signed-off-by: Anup Patel <anup.patel@wdc.com>
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions