diff --git a/doc/manual/installing.rst b/doc/manual/installing.rst
index b2359e844..15d480893 100644
--- a/doc/manual/installing.rst
+++ b/doc/manual/installing.rst
@@ -159,11 +159,21 @@ Installing the host-side software
         $ cd ~/artiq-dev/artiq/doc/manual
         $ make html
 
-Xubuntu 14.04 dependencies
---------------------------
+Xubuntu 14.04 specific instructions
+-----------------------------------
 
 This command installs all the required packages: ::
 
     $ sudo apt-get install build-essential autoconf automake autotools-dev dh-make devscripts fakeroot file git lintian patch patchutils perl xutils-devs git-buildpackage svn-buildpackage python3-pip texinfo flex bison libmpc-dev python3-setuptools python3-numpy python3-scipy python3-sphinx python3-nose python3-dev python-dev subversion cmake libusb-dev libftdi-dev pkg-config
 
 Note that ARTIQ requires Python 3.4 or above.
+
+To set user permissions on the JTAG port of the Papilio Pro, create a ``/etc/udev/rules.d/30-usb-papilio-pro.rules`` file containing the following: ::
+
+    SUBSYSTEM=="usb", ATTRS{idVendor}=="0403", ATTRS{idProduct}=="6010", GROUP="plugdev"
+
+Then reload ``udev``, add your user to the ``plugdev`` group, and log out and log in again: ::
+
+    $ sudo invoke-rc.d udev reload
+    $ sudo adduser <your username> plugdev
+    $ logout