@@ -5,10 +5,15 @@ const htmlGenFile = "../src/React/Basic/DOM/Generated.purs";
55const  htmlSimplifiedGenFile  =  "../src/React/Basic/DOM/Simplified/Generated.purs" ; 
66const  svgGenFile  =  "../src/React/Basic/DOM/SVG.purs" ; 
77
8- const  htmlHeader  =  `-- | ---------------------------------------- 
8+ const  warningHeader  =  `-- | -------------------- ---------------------------------------- 
99-- | THIS FILE IS GENERATED -- DO NOT EDIT IT 
10- -- | ---------------------------------------- 
10+ -- | Instead edit files under 'codegen/' dir and regenerate with: 
11+ -- |     npm install 
12+ -- |     node ./index.js 
13+ -- | ------------------------------------------------------------ 
14+ ` ; 
1115
16+ const  htmlHeader  =  `${ warningHeader }  
1217module React.Basic.DOM.Generated where 
1318
1419import Data.Nullable (Nullable) 
@@ -23,10 +28,7 @@ import Web.DOM (Node)
2328
2429` ; 
2530
26- const  simplifiedHtmlHeader  =  `-- | ---------------------------------------- 
27- -- | THIS FILE IS GENERATED -- DO NOT EDIT IT 
28- -- | ---------------------------------------- 
29- 
31+ const  simplifiedHtmlHeader  =  `${ warningHeader }  
3032module React.Basic.DOM.Simplified.Generated where 
3133
3234import Data.Nullable (Nullable) 
@@ -55,10 +57,7 @@ const propType = (e, p) => {
5557  } 
5658} 
5759
58- const  svgHeader  =  `-- | ---------------------------------------- 
59- -- | THIS FILE IS GENERATED -- DO NOT EDIT IT 
60- -- | ---------------------------------------- 
61- 
60+ const  svgHeader  =  `${ warningHeader }  
6261module React.Basic.DOM.SVG where 
6362
6463import Data.Nullable (Nullable) 
0 commit comments