users-guide: Add index entry for "environment file"
authorBen Gamari <ben@smart-cactus.org>
Sun, 1 May 2016 11:21:55 +0000 (13:21 +0200)
committerBen Gamari <ben@smart-cactus.org>
Sun, 1 May 2016 21:29:49 +0000 (23:29 +0200)
docs/users_guide/packages.rst

index c9e2ea4..77f23c5 100644 (file)
@@ -1279,6 +1279,7 @@ Package environments
 
 .. index::
    single: package environments
+   single: environment file
 
 A *package environment file* is a file that tells ``ghc`` precisely which
 packages should be visible. It can be used to create environments for ``ghc``