diff --git a/Makefile b/Makefile index 3be3483..8c1e6d5 100644 --- a/Makefile +++ b/Makefile @@ -20,7 +20,7 @@ artifacts/deps.pdf: deps.ps Makefile mkdir -p $$(dirname $@) ps2pdf $< $@ -artifacts/index.html: doc-src/index.html Makefile +artifacts/index.html: doc-src/index.html artifacts/references/style.css artifacts/deps.svg artifacts/deps.png artifacts/deps.pdf artifacts/references/index.html Makefile mkdir -p $$(dirname $@) cp doc-src/index.html $@ diff --git a/doc-src/index.html b/doc-src/index.html index 678b469..593b5aa 100644 --- a/doc-src/index.html +++ b/doc-src/index.html @@ -1,3 +1,16 @@ -