docs: public static void main(String[] args) {
          if (args.length != 3)
              printUsage();
          try {
              Version version = parseVersionString(args[0]);
              if (version == null) {
                  System.err.println(
                          "Invalid version number format, must be \"x.y.z(-.*)?\"");
                  System.exit(1);
              }
              int rev;
              try {
                  rev = Integer.parseInt(args[1]);
              } catch (NumberFormatException e) {
                  rev = -1;
              }
              generateFile(new File("."), version, rev, args[2]);
          } catch (NumberFormatException e) {
              System.err.println(
                      "All version-related parameters must be valid integers!");
              throw e;
          }
      }