make_policy (226B)
1 #!/bin/sh 2 3 title="$(sed -nE '/^# +/ { s///; p; q; }' < "$1")" 4 echo "<html><head> 5 <title>Spaceplanner $title</title> 6 <link rel="stylesheet" type="text/css" href="./main.css"> 7 </head><body>" 8 9 smu < "$1" 10 11 echo "</body></html>"