Index: trunk/debirf/docs/example-profiles/minimal/debirf.conf
===================================================================
--- trunk/debirf/docs/example-profiles/minimal/debirf.conf	(revision 728)
+++ trunk/debirf/docs/example-profiles/minimal/debirf.conf	(revision 747)
@@ -7,11 +7,8 @@
 
 # where to build the debirf
-#DEBIRF_BUILDD="~/.debirf"
+#DEBIRF_BUILDD="~/.debirf/$DEBIRF_LABEL"
 
 # the debirf root, used by plugins
 #DEBIRF_ROOT="$DEBIRF_BUILDD/root"
-
-# debirf boot method
-#DEBIRF_METHOD="stupid_simple"
 
 # Debian mirror
@@ -20,2 +17,5 @@
 # what distribution should debirf be built from?
 #DEBIRF_DISTRO="lenny"
+
+# proxy
+#export http_proxy=http://localhost:3128/