drukkedoos: toon hulpmiddelen

1 files changed, 5 insertions, 1 deletions

diff --git a/main.c b/main.c
index 1148495..e251f5f 100644
--- a/main.c
+++ b/main.c
@@ -20,7 +20,11 @@ int main(int argc, char **argv) {
     argv++;
     argc--;
     if (argc == 0) {
-      fprintf(stderr, "Gebruik: drukkedoos <commando>\n");
+#define X(name) "  " #name "\n"
+      fprintf(stderr, "Gebruik: drukkedoos <commando>\n\n"
+                      "Hulpmiddelen:\n"
+                      PROGNAMES_XLIST);
+#undef X
       return 1;
     }
     prognamearg = basename(argv[0]);