etc/options

--- a/etc/options	Sun Jan 06 12:33:45 2019 +0100
+++ b/etc/options	Sun Jan 06 12:42:26 2019 +0100
@@ -288,6 +288,9 @@
 option update_control_cartouches : bool = false
   -- "update antiquotations to use control symbol with cartouche argument"
 
+option update_path_cartouches : bool = false
+  -- "update file-system paths to use cartouches"
+
 
 section "Build Database"