diff options
author | Joas Schilling <coding@schilljs.com> | 2016-07-13 19:15:04 +0300 |
---|---|---|
committer | Joas Schilling <coding@schilljs.com> | 2016-07-13 19:16:37 +0300 |
commit | 560ff40b07ae238d9a4b84af5dab4d2806620e73 (patch) | |
tree | a473cdf5cfcc204ef4bc8536806c838a8b4eaf9e /Makefile | |
parent | 2d35309f9073f92af1e2faee7f0565d9afdf7d6d (diff) |
Allow building all HTML only
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 34 |
1 files changed, 23 insertions, 11 deletions
@@ -1,19 +1,31 @@ -all: admin-manual user-manual developer-manual +all: html pdf -admin-manual: - cd admin_manual && make latexpdf +html: admin-manual-html user-manual-html developer-manual-html +pdf: admin-manual-pdf user-manual-pdf developer-manual-pdf + +admin-manual-html: rm -rf admin_manual/_build/html/com cd admin_manual && make html - @echo "Admin manual build finished; PDF and HTML is updated" + @echo "Admin manual build finished; HTML is updated" -user-manual: - cd user_manual && make latexpdf - rm -rf user_manual/_build/html/org +user-manual-html: + rm -rf user_manual/_build/html/com cd user_manual && make html - @echo "User manual build finished; PDF and HTML is updated" + @echo "User manual build finished; HTML is updated" -developer-manual: - cd developer_manual && make latexpdf +developer-manual-html: rm -rf developer_manual/_build/html/com cd developer_manual && make html - @echo "Developer manual build finished; PDF and HTML is updated" + @echo "Developer manual build finished; HTML is updated" + +admin-manual-pdf: + cd admin_manual && make latexpdf + @echo "Admin manual build finished; PDF is updated" + +user-manual-pdf: + cd user_manual && make latexpdf + @echo "User manual build finished; PDF is updated" + +developer-manual-pdf: + cd developer_manual && make latexpdf + @echo "Developer manual build finished; PDF is updated" |