etc/options

 section "PIDE Build"
 
 option pide_session : bool = true
   -- "build session heaps via PIDE"
 
+option pide_exports : bool = true
+  -- "store PIDE export artifacts"
+
 option pide_reports : bool = true
   -- "report PIDE markup"
 
 
 section "Editor Session"