# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1503159266 14400
# Node ID cb81f74d8c92d084cda60cb11f4a1c1980cddac3
# Parent  306539f29eea00926fd0d106e6484cd44ea12ffe
Add Amazon OneLink

diff -r 306539f29eea -r cb81f74d8c92 staging/index.html
--- a/staging/index.html	Thu May 12 18:09:36 2016 -0500
+++ b/staging/index.html	Sat Aug 19 12:14:26 2017 -0400
@@ -87,4 +87,6 @@
 <p>Previous versions included a final Part on programming language semantics in particular.  I have decided to separate that part out.  I plan to put it up as a supplementary resource eventually; for now it is simply removed.  (It remains present in the <a href="repo">Mercurial</a> history.)</p>
 </div>
 
+<script src="//z-na.amazon-adsystem.com/widgets/onejs?MarketPlace=US&adInstanceId=14c7f9de-2f5e-4edd-af33-33d7e49e3296"></script>
+
 </body></html>