Overview
| Comment: | Fix dumb makefile mistakes |
|---|---|
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA3-256: |
21d8c83387daf36e8b5e5e06f3c74b00 |
| User & Date: | joel on 2019-05-05 14:41:00 |
| Other Links: | manifest | tags |
Context
|
2019-05-08
| ||
| 02:32 | Nervous chuckle check-in: 48bece0c user: joel tags: trunk | |
|
2019-05-05
| ||
| 14:41 | Fix dumb makefile mistakes check-in: 21d8c833 user: joel tags: trunk | |
| 14:38 | Add styles for keyword index links check-in: 1947b407 user: joel tags: trunk | |
Changes
Modified makefile from [7253bcb0] to [62911e27].
| ︙ | ︙ | |||
29 30 31 32 33 34 35 | web: ## Rebuild all web content (not PDFs) # The file article_htmls.mark is a zero-byte file that serves only as a marker. If it is older than # any of its dependencies (or missing) all of the articles will be rebuilt. Its dependencies are # also on the Pollen cache watchlist (see pollen.rkt) _article_htmls.mark: $(core-files) $(html-deps) template.html.p raco pollen setup articles/ | | | | 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 | web: ## Rebuild all web content (not PDFs) # The file article_htmls.mark is a zero-byte file that serves only as a marker. If it is older than # any of its dependencies (or missing) all of the articles will be rebuilt. Its dependencies are # also on the Pollen cache watchlist (see pollen.rkt) _article_htmls.mark: $(core-files) $(html-deps) template.html.p raco pollen setup articles/ raco pollen render -p -t html articles/*.poly.pm raco pollen setup series/ raco pollen render -p -t html series/*.poly.pm touch _article_htmls.mark # If the rule for article_htmls.mark was triggered, all the article HTML files will already have # been re-rendered. (That rule comes before this one in the list of dependencies for "all") But if # not, any individual files that have been edited will get re-rendered. $(articles-html): %.html: %.poly.pm raco pollen render $@ |
| ︙ | ︙ |