1 files changed, 5 insertions, 2 deletions
diff --git a/Dockerfile b/Dockerfile
index 9998a71..7f9b257 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -2,6 +2,9 @@ FROM debian:jessie
 
 RUN echo 'deb http://deb.debian.org/debian jessie-backports main' > /etc/apt/sources.list.d/backports.list
 
+# An assortment of normal Debian packages.  Might want to move this to
+# after the horrible XiLinx stuff so we don't have to redo that very often.
+
 RUN apt-get update \
 	&& \
     apt-get install -y \
@@ -16,7 +19,7 @@ RUN apt-get update \
 	    reprepro \
 	    ubuntu-archive-keyring \
 	    ubuntu-dev-tools \
-    	    pbuilder \
+	    pbuilder \
 	&& \
     apt-get -t jessie-backports install -y \
-    	    debootstrap distro-info-data
+	    debootstrap distro-info-data