When generating documentation, pkg.go.dev and godoc.org assume a comment
that immediately precedes the package declaration is a "package
comment", and should be shown in the documentation. Add an empty line
after the DO NOT EDIT comment in generated files to prevent these
comments from appearing as "package comments."
Signed-off-by: Nick Rosbrook <rosbrookn@ainfosec.com>
Reviewed-by: George Dunlap <george.dunlap@citrix.com>
// This file is generated by:
// {}
//
+
""".format(' '.join(sys.argv))
xenlight_golang_generate_types(types=types,
// This file is generated by:
// gengotypes.py ../../libxl/libxl_types.idl
//
+
package xenlight
import (
// This file is generated by:
// gengotypes.py ../../libxl/libxl_types.idl
//
+
package xenlight
type Error int