michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Added names in social, updated Makefile to checkout standard-library automatically.

Browse source
This commit is contained in:
Wen Kokke 2020-10-23 13:09:31 +02:00
parent e43ff72ce2
commit 9affc42409
2 changed files with 37 additions and 22 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

19
Makefile
View file

@ -23,9 +23,22 @@ init: setup-check-fix-whitespace setup-check-htmlproofer
.PHONY: build .PHONY: build
build: $(SITE_DIR) build: $(SITE_DIR)
$(SITE_DIR): authors contributors css courses hs posts public src templates # TODO: replace these with dependencies on actual files
$(SITE_DIR): \
authors/ \
contributors/ \
css/ \
courses/ \
posts/ \
public/ \
src/ \
templates/ \
standard-library/ChangeLog.md
stack build && stack exec site build stack build && stack exec site build
standard-library/ChangeLog.md:
git submodule update --recursive
################################################################################# #################################################################################
# Test generated site with HTMLProofer # Test generated site with HTMLProofer
@ -77,8 +90,10 @@ update-contributors:
# Clean up and remove the cache # Clean up and remove the cache
################################################################################# #################################################################################
# TODO: change hs/Main.hs to get rid of this dependency
.PHONY: clean .PHONY: clean
clean: clean: standard-library/ChangeLog.md
stack build && stack exec site clean stack build && stack exec site clean

4
templates/social.html
View file

@ -1,8 +1,8 @@
<ul class="social-media-list"> <ul class="social-media-list">
$if(github)$ $if(github)$
<li><a rel="me" href="https://github.com/$github$" title="$github$"><svg class="svg-icon grey"><use xlink:href="/public/minima-social-icons.svg#github"></use></svg></a></li> <li><a rel="me" href="https://github.com/$github$" title="$github$"><svg class="svg-icon grey"><use xlink:href="/public/minima-social-icons.svg#github"></use></svg>&nbsp;$github$</a></li>
$endif$ $endif$
$if(twitter)$ $if(twitter)$
<li><a rel="me" href="https://twitter.com/$twitter$" title="$twitter$"><svg class="svg-icon grey"><use xlink:href="/public/minima-social-icons.svg#twitter"></use></svg></a></li> <li><a rel="me" href="https://twitter.com/$twitter$" title="$twitter$"><svg class="svg-icon grey"><use xlink:href="/public/minima-social-icons.svg#twitter"></use></svg>&nbsp;$twitter$</a></li>
$endif$ $endif$
</ul> </ul>