DESIGN: mention need for restarting base updates in case of new deps

diff --git a/DESIGN b/DESIGN
index 57f3191e23f1282d5b76fc75dd9084128071a52a..f3c3f828720c5f47c5a4646463950202ba99b009 100644 (file)
--- a/DESIGN
+++ b/DESIGN
@@ -62,6 +62,10 @@ Basic update algorithm:
        from the source.
 
     iii.
        from the source.
 
     iii.

+       Check whether our list of dependencies has changed.  If so
+       we need to restart the whole base update.
+
+    iv.

        Check for missing or unwanted dependency inclusions.  Compare
        our base's desired included deps with our base's actual
        included deps.  In exceptional conditions, they will not
        Check for missing or unwanted dependency inclusions.  Compare
        our base's desired included deps with our base's actual
        included deps.  In exceptional conditions, they will not