invalidate cache when RefreshLine[s]() is called

[wxWidgets.git] / utils / utils.bkl

diff --git a/utils/utils.bkl b/utils/utils.bkl
index f9a78d79eea48370de7f3399b2ef8a7371edd1ad..e173c325950ba00e32bffc638547bea56ad7a269 100644 (file)
--- a/utils/utils.bkl
+++ b/utils/utils.bkl
@@ -7,6 +7,21 @@
         <dependency-of>all</dependency-of>
     </template>
 
+    <subproject id="configtool" template="sub">
+        <dir>configtool/src</dir>
+        <installable>no</installable>
+    </subproject>
+    
+    <subproject id="emulator" template="sub">
+        <dir>emulator/src</dir>
+        <installable>no</installable>
+    </subproject>
+    
+    <subproject id="helpview" template="sub">
+        <dir>helpview/src</dir>
+        <installable>no</installable>
+    </subproject>
+    
     <subproject id="tex2rtf" template="sub">
         <dir>tex2rtf/src</dir>
         <installable>yes</installable>