Add dph to ./packages and darcs-all

1 files changed, 5 insertions, 0 deletions

diff --git a/darcs-all b/darcs-all
index 28933bfc32..d53ed3630f 100644
--- a/darcs-all
+++ b/darcs-all
@@ -143,6 +143,11 @@ sub main {
         elsif ($arg eq "-s") {
             $verbose = 0;
         }
+        # --dph says we grab the dph libs with 'get'.
+        # It has no effect on the other commands.
+        elsif ($arg eq "--dph") {
+            $tags{"dph"} = 1;
+        }
         # --extra says we grab the extra libs with 'get'.
         # It has no effect on the other commands.
         elsif ($arg eq "--extra") {