From fa7e563f04a2f1483fdea646e5a409a41f720d63 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= <ludo@gnu.org>
Date: Wed, 12 Oct 2011 21:42:28 +0000
Subject: [PATCH] doc: Mention package names.

---
 doc/manual/projects.xml | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/doc/manual/projects.xml b/doc/manual/projects.xml
index 563c5a51..5e876fb2 100644
--- a/doc/manual/projects.xml
+++ b/doc/manual/projects.xml
@@ -299,7 +299,15 @@ in
             runs <command>autoreconf &amp;&amp; ./configure &amp;&amp;
             make dist</command> on the checkout.  The
             <varname>buildInputs</varname> attribute specifies
-            additional software dependencies for the job.
+            additional software dependencies for the
+            job<footnote><para>The package names used in
+            <varname>buildInputs</varname>–e.g.,
+            <varname>texLive</varname>–are the names of the
+            <emphasis>attributes</emphasis> corresponding to these
+            packages in Nixpkgs, specifically in the <link
+            xlink:href="https://svn.nixos.org/repos/nix/nixpkgs/trunk/pkgs/top-level/all-packages.nix"><filename>all-packages.nix</filename></link>
+            file.  See the section entitled “Package Naming” in the
+            Nixpkgs manual for more information.</para></footnote>.
           </para>
         </callout>