diff options
| author | Anup Patel <[email protected]> | 2019-01-14 12:25:01 +0530 |
|---|---|---|
| committer | Anup Patel <[email protected]> | 2019-01-16 11:25:25 +0530 |
| commit | c2e0b0291475a49f6c923ee7fda864fb2c3c2c6d (patch) | |
| tree | f8ab986ebf295c92c099fd9f9e3dc8770c253d90 /lib | |
| parent | 2e5ede82796960435fff80b27b21dfb399d2e2fb (diff) | |
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 <[email protected]>
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions