shebang and better instructions

Akuli · Akuli · commit 77835394e42b · 2017-01-04T21:34:30.000+02:00
diff --git a/make-html.py b/make-html.py
@@ -1,3 +1,6 @@
+#!/usr/bin/env python3
+"""Create HTML files of the tutorial."""
+
 import glob
 import shutil
 import os
@@ -7,8 +10,10 @@
 try:
     import mistune
 except ImportError:
-    print("mistune isn't installed. You can install it like this:\n\n",
-          "   thispython -m pip install mistune", file=sys.stderr)
+    print("mistune isn't installed. You can install it like this:")
+    print()
+    print(">>> import pip")
+    print(">>> pip.main(['install', '--user', 'mistune'])")
     sys.exit(1)
 
 
