diff options
author | Paul Garlick <pgarlick@tourbillion-technology.com> | 2019-12-16 20:43:38 +0000 |
---|---|---|
committer | Paul Garlick <pgarlick@tourbillion-technology.com> | 2019-12-16 20:43:38 +0000 |
commit | 910ce83838552c962e9e3f80d3a0952409d982b4 (patch) | |
tree | 4b170e74bfd12363889884834f72c5d9ae5989d5 | |
parent | 4e6cc003b71bb933353c430044958f8dfb45d022 (diff) | |
download | fullSWOF-utils-910ce83838552c962e9e3f80d3a0952409d982b4.tar.gz |
add makefile.
-rw-r--r-- | Makefile | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..bcd0ab5 --- /dev/null +++ b/Makefile @@ -0,0 +1,18 @@ +HTML_DIR := manual + +all: info-doc html-doc + +info-doc: doc/fullswof-utils.texi + makeinfo --output=doc/fullswof-utils.info --no-split $< + +html-doc: doc/fullswof-utils.texi + @test -d $(HTML_DIR) || mkdir $(HTML_DIR) + makeinfo --html --output=$(HTML_DIR)/html_node $< + makeinfo --html --output=$(HTML_DIR)/fullswof-utils.html \ + --no-split $< + +clean: + @echo "Cleaning up..." + @rm -rf manual + +.PHONY: clean |