+++ /dev/null
-<link rel="stylesheet" href="style.css" type="text/css"/>
-<script src="code.js" type="text/javascript"></script>
-
-<p>
-Goodbye, hope you enjoyed this simple example.
-</p>
-
-<p>
-We hope you noticed on the previous slide that you
-could hit the <b>Up arrow</b> to get pre-populated
-history.
-</p>
-
-<p>
-Now look at these files in the current directory
-to find out how we did it:
-</p>
-
-<ul>
-<li> 10-hello.html
-<li> 20-shell.sh
-<li> 30-goodbye.html
-<li> functions — common shell functions
-<li> style.css — stylesheet
-<li> code.js — Javascript
-</ul>