From 1a160e057ef8a19f2c20ce5ad87aa00c78212e11 Mon Sep 17 00:00:00 2001 From: EuAndreh Date: Fri, 12 Aug 2022 18:27:34 -0300 Subject: Makefile: Generate HTML from Texinfo in "public" target --- Makefile | 14 ++++++++------ 1 file 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 -- cgit v1.2.3