public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

outputDocdev -> outputDevdoc

Browse Source 
For consistency with the devdoc output.
This commit is contained in:
Eelco Dolstra
2016-09-20 17:44:48 +02:00
parent 594c47e5eb
commit 5f8a330d40
6 changed files with 7 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/build-support/setup-hooks/multiple-outputs.sh
+2 -2
View File
@@ -38,7 +38,7 @@ _overrideFirst outputInclude "$outputDev"
_overrideFirst outputLib "lib" "out"
_overrideFirst outputDoc "doc" "out"
_overrideFirst outputDocdev "devdoc" REMOVE # documentation for developers
_overrideFirst outputDevdoc "devdoc" REMOVE # documentation for developers
# man and info pages are small and often useful to distribute with binaries
_overrideFirst outputMan "man" "doc" "$outputBin"
_overrideFirst outputDevman "devman" "devdoc" "$outputMan"
@@ -138,7 +138,7 @@ _multioutDocs() {
moveToOutput share/info "${!outputInfo}"
moveToOutput share/doc "${!outputDoc}"
moveToOutput share/gtk-doc "${!outputDocdev}"
moveToOutput share/gtk-doc "${!outputDevdoc}"
# the default outputMan is in $bin
moveToOutput share/man "${!outputMan}"