rhi/gallery
1
0
Fork 0
Code Issues 5 Pull requests 1 Releases Wiki Activity

rename makefiles to blah.mk

Browse source
This commit is contained in:
Rhiannon Morris 2020-07-18 11:35:42 +02:00
parent 493f176ea1
commit 0ffebd2a00
2 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

4
make-pages/Depend.hs
View file

@ -53,7 +53,7 @@ dependGallery' (GalleryInfo {title, prefix, filters}) infos' build data_ tmp =
pages' = unwords pages
path = build </> prefix </> "index.html"
rules = makeRules prefix filters build data_ tmp
inc d = tmp </> prefix </> takeDirectory d <.> "d"
inc d = tmp </> prefix </> takeDirectory d <.> "mk"
incs = if null infos then "" else
"include " <> fromString (unwords $ map inc files)
index = build </> "index.html"
@ -83,7 +83,7 @@ makeRules prefix filters build data_ tmp = [b|@0
mkdir -p $$(dir $$@)
$$(MAKEPAGES) $$(MPFLAGS) single "$$<" -o "$$@" $flags
$@tmpPrefix/%.d: $@data_/%/info.yaml
$@tmpPrefix/%.mk: $@data_/%/info.yaml
echo "[deps] "$$@
mkdir -p $$(dir $$@)
$$(MAKEPAGES) $$(MPFLAGS) depend-single $flags \