add-relinks.sh

#!/bin/bash

for example in $(ls examples); do
  if [[ -d examples/${example} ]]; then
    new_html=http://rustbyexample.com/${example}.html

    mkdir -p stage/_book/examples/${example}
    echo '<!DOCTYPE HTML>
<html lang="en-US">
  <head>
    <script type="text/javascript">
      window.location = "'${new_html}'"
    </script>
  </head>
  <body>
  </body>
</html>' > stage/_book/examples/${example}/README.html
  fi
done