summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEuAndreh <eu@euandre.org>2022-08-12 18:27:34 -0300
committerEuAndreh <eu@euandre.org>2022-08-12 18:27:34 -0300
commit1a160e057ef8a19f2c20ce5ad87aa00c78212e11 (patch)
tree8f790febbf9afd84fff809a2e82fbca33d3e9aab
parentdoc/guile-heredoc.texi: Init basic documentation skeleton (diff)
downloadguile-heredoc-1a160e057ef8a19f2c20ce5ad87aa00c78212e11.tar.gz
guile-heredoc-1a160e057ef8a19f2c20ce5ad87aa00c78212e11.tar.xz
Makefile: Generate HTML from Texinfo in "public" target
-rw-r--r--Makefile14
1 files changed, 8 insertions, 6 deletions
diff --git a/Makefile b/Makefile
index 4bd2fa8..62e0e6b 100644
--- a/Makefile
+++ b/Makefile
@@ -31,9 +31,6 @@ sources = src/xyz/euandreh/heredoc.scm
objects = $(sources:.scm=.go)
info = doc/guile-heredoc.info
-documentation = \
- $(info) \
- doc/guile-heredoc.html
all: $(objects) $(info)
@@ -80,13 +77,18 @@ check-guile: check-guile-evaled check-guile-compiled
check: check-guile
clean:
- rm -f \
- heredoc.log $(objects) $(documentation)
+ rm -rf \
+ heredoc.log $(objects) $(info) \
+ doc/guile-heredoc.html public/
doc/guile-heredoc.html: doc/style.css
+public/guile-heredoc.html: doc/guile-heredoc.html
+ mkdir -p $(@D)
+ cp doc/guile-heredoc.html $@
-public: $(documentation)
+
+public: public/guile-heredoc.html
dev-check: check