tag of apt@packages.debian.org/apt--ubuntu--0--patch-17

[apt.git] / doc / examples / configure-index

diff --git a/doc/examples/configure-index b/doc/examples/configure-index
index c834c49d596a26b4b4cb67d41968fa09203bbd30..a09ea0c37f093f433203a6c942a12b9167e3e511 100644 (file)
--- a/doc/examples/configure-index
+++ b/doc/examples/configure-index
@@ -142,6 +142,11 @@ Acquire
        UMount "sleep 500";
     }
   };
+
+  gpgv
+  {
+   Options {"--ignore-time-conflict";} // not very usefull on a normal system
+  };
 };
 
 // Directory layout
@@ -179,7 +184,7 @@ Dir "/"
      gpg  "/usr/bin/gpgv";
      dpkg "/usr/bin/dpkg";
      dpkg-source "/usr/bin/dpkg-source";
-     dpkg-buildpackage "/usr/bin/dpkg-buildpackage"
+     dpkg-buildpackage "/usr/bin/dpkg-buildpackage";
      apt-get "/usr/bin/apt-get";
      apt-cache "/usr/bin/apt-cache";
   };