diff options
author | EuAndreh <eu@euandre.org> | 2022-08-12 18:27:34 -0300 |
---|---|---|
committer | EuAndreh <eu@euandre.org> | 2022-08-12 18:27:34 -0300 |
commit | 1a160e057ef8a19f2c20ce5ad87aa00c78212e11 (patch) | |
tree | 8f790febbf9afd84fff809a2e82fbca33d3e9aab | |
parent | doc/guile-heredoc.texi: Init basic documentation skeleton (diff) | |
download | guile-heredoc-1a160e057ef8a19f2c20ce5ad87aa00c78212e11.tar.gz guile-heredoc-1a160e057ef8a19f2c20ce5ad87aa00c78212e11.tar.xz |
Makefile: Generate HTML from Texinfo in "public" target
-rw-r--r-- | Makefile | 14 |
1 files changed, 8 insertions, 6 deletions
@@ -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 |