diff --git a/index.html b/index.html index f7c8bcc3..2a90c2a3 100644 --- a/index.html +++ b/index.html @@ -2200,7 +2200,11 @@ https://...
You could also try to provide a $(PKG)_UPDATE
section.
However, that requires some experience and "feeling" for it.
- So it is perfectly okay if you leave the $(PKG)_UPDATE
section empty.
+ So it is perfectly okay if you leave a placeholder:
+
define $(PKG)_UPDATE + echo 'TODO: write update script for $(PKG).' >&2; + echo $($(PKG)_VERSION) +endefWe'll fill that in for you. It's a funny exercise.