\input docstrip \askforoverwritefalse \generate{ \file{traffic-light-protocol.sty}{ \from{traffic-light-protocol.dtx}{package} }} \endbatchfile