From 9725965e4e80c8e7ec5f8f1714a9dff99659dd83 Mon Sep 17 00:00:00 2001 From: Nathan Lambert Date: Mon, 12 Aug 2024 10:14:54 -0400 Subject: [PATCH] file management --- .github/workflows/static.yml | 2 +- Makefile | 6 ++++-- templates/chapter.html | 2 +- templates/html.html | 2 +- 4 files changed, 7 insertions(+), 5 deletions(-) diff --git a/.github/workflows/static.yml b/.github/workflows/static.yml index b0904d5..fb975a3 100644 --- a/.github/workflows/static.yml +++ b/.github/workflows/static.yml @@ -54,7 +54,7 @@ jobs: - name: Build book run: | make - make favicon + make files # pages deploy steps - name: Setup Pages diff --git a/Makefile b/Makefile index ad2a1e0..3928b44 100644 --- a/Makefile +++ b/Makefile @@ -150,8 +150,10 @@ $(BUILD)/pdf/$(OUTPUT_FILENAME).pdf: $(PDF_DEPENDENCIES) $(ECHO_BUILT) # copy faveicon.ico to build/ and into build/c/ with bash commands -favicon: +# also copy from build/pdf/book.pdf into build/html/ +files: test -f favicon.ico || (echo "favicon.ico not found" && exit 1) mkdir -p $(BUILD)/html/c/ cp favicon.ico $(BUILD)/html/ || echo "Failed to copy to $(BUILD)/html/" - cp favicon.ico $(BUILD)/html/c/ || echo "Failed to copy to $(BUILD)/html/c/" \ No newline at end of file + cp favicon.ico $(BUILD)/html/c/ || echo "Failed to copy to $(BUILD)/html/c/" + cp $(BUILD)/pdf/book.pdf $(BUILD)/html/ || echo "Failed to copy to $(BUILD)/html/" \ No newline at end of file diff --git a/templates/chapter.html b/templates/chapter.html index 3e2f3b1..acdf22e 100644 --- a/templates/chapter.html +++ b/templates/chapter.html @@ -48,7 +48,7 @@

$title$

diff --git a/templates/html.html b/templates/html.html index 8ce6a31..85a5fee 100644 --- a/templates/html.html +++ b/templates/html.html @@ -48,7 +48,7 @@

$title$