From 8172cd734c9d738e1ae24ffe2e4bc550ac64e0aa Mon Sep 17 00:00:00 2001
From: Eelco Dolstra
Date: Thu, 1 Sep 2016 11:07:23 +0200
Subject: docdev -> devdoc

It's "developer documentation", not "documentation developer" after
all.
---
 doc/multiple-output.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc/multiple-output.xml')

diff --git a/doc/multiple-output.xml b/doc/multiple-output.xml
index 309254f76aac..0bbb9ef8be3a 100644
--- a/doc/multiple-output.xml
+++ b/doc/multiple-output.xml
@@ -63,7 +63,7 @@
         </para></listitem></varlistentry>
       <varlistentry><term><varname>
         $outputDocdev</varname></term><listitem><para>
-        is for <emphasis>developer</emphasis> documentation.  Currently we count gtk-doc and man3 pages in there.  It goes to <varname>docdev</varname> or is removed (!) by default.  This is because e.g. gtk-doc tends to be rather large and completely unused by nixpkgs users.
+        is for <emphasis>developer</emphasis> documentation.  Currently we count gtk-doc and man3 pages in there.  It goes to <varname>devdoc</varname> or is removed (!) by default.  This is because e.g. gtk-doc tends to be rather large and completely unused by nixpkgs users.
         </para></listitem></varlistentry>
       <varlistentry><term><varname>
         $outputMan</varname></term><listitem><para>
-- 
cgit 1.4.1