From 5f8a330d40008ec6457f96a07cdebe95deb1bdaf Mon Sep 17 00:00:00 2001 From: Eelco Dolstra Date: Tue, 20 Sep 2016 16:51:51 +0200 Subject: outputDocdev -> outputDevdoc For consistency with the devdoc output. --- doc/multiple-output.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc') diff --git a/doc/multiple-output.xml b/doc/multiple-output.xml index c4e92c7e79a2e..b7a363c750e61 100644 --- a/doc/multiple-output.xml +++ b/doc/multiple-output.xml @@ -68,7 +68,7 @@ - $outputDocdev + $outputDevdoc is for developer documentation. Currently we count gtk-doc in there. It goes to devdoc or is removed (!) by default. This is because e.g. gtk-doc tends to be rather large and completely unused by nixpkgs users. -- cgit 1.4.1