--- a/Admin/polyml/NOTES	Mon Jul 20 23:45:29 2020 +0200
+++ b/Admin/polyml/NOTES	Tue Jul 21 12:37:00 2020 +0200
@@ -2,7 +2,7 @@
 ===============================================
 
 * component skeleton:
-  $ isabelle build_polyml_component -s sha1 component
+  $ isabelle build_polyml_component -s sha1 polyml.tar.gz polyml
 
 * include full source (without symlink), for example:
   $ wget https://github.com/polyml/polyml/archive/master.zip