-RSYNC_PARAMS = --exclude-from='.rsync-exclude' -avzLP
-
LATEST=2
SRC := $(filter-out $(wildcard feed_*),$(wildcard *.m4))
OUTPUTS := $(patsubst %.m4,out/%.html,$(SRC))
$(STATIC): ; ln -s $(PWD)/static/$(notdir $@) $@
deploy:
- rsync $(RSYNC_PARAMS) out/ abandali@bandali.eu.org:www/
+ rsync -avzLP out/ abandali@bandali.eu.org:www/
.PHONY: deploy
<dt>A Comparison of the Declarative Modelling Languages B, DASH, and
TLA<sup>+</sup>
<small>
-[ <a href="papers/modre2018-declarative.pdf">pdf</a>
-| <a href="papers/modre2018-declarative.bib">bib</a>
+[ <a href="//p.bndl.org/modre2018-declarative.pdf">pdf</a>
+| <a href="//p.bndl.org/modre2018-declarative.bib">bib</a>
]
</small>
</dt>
<dl>
<dt>The Magic of Specifications and Type Systems
<small>
-[ <a href="talks/cucsc-2017-slides.pdf"
+[ <a href="//p.bndl.org/cucsc-2017-slides.pdf"
title="presented at the Canadian Undergraduate Computer Science Conference 2017,
University of Toronto, Canada, June 15–17, 2017">slides</a>
-| <a href="talks/eecs4080-poster.pdf"
+| <a href="//p.bndl.org/eecs4080-poster.pdf"
title="presented at the Lassonde Undergraduate Summer Student Research Conference,
York University, Toronto, Canada, August 15, 2017">poster</a>
]
<ul>
<li>Tutorial 1:
<ul>
-<li><a href="se212-t01-101.pdf">TUT 101 slides</a></li>
-<li><a href="se212-t01-102.pdf">TUT 102 slides</a></li>
+<li><a href="//p.bndl.org/se212-t01-101.pdf">TUT 101 slides</a></li>
+<li><a href="//p.bndl.org/se212-t01-102.pdf">TUT 102 slides</a></li>
<li><a href="se212-t01.org">Org beamer sources</a></li>
</ul>
</li>
<li>Tutorial 4: —</li>
<li>Tutorial 5:
<ul>
-<li><a href="se212-t05.pdf">Slides</a></li>
+<li><a href="//p.bndl.org/se212-t05.pdf">Slides</a></li>
<li><a href="se212-t05.org">Org beamer sources</a></li>
</ul>
</li>