gnustep/tools-make
0
0
Fork 0
mirror of https://github.com/gnustep/tools-make.git synced 2025-04-23 22:33:28 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Merge pull request #25 from svgol/tmp_Docs_to_LOCAL

Browse source 
* Documentation is now installed in the LOCAL domain
This commit is contained in:
rfm 2022-02-08 21:24:00 +00:00 committed by GitHub
commit 0c837c086b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Documentation/GNUmakefile
View file

@ -83,7 +83,7 @@ else
# normal gnustep-make GNUmakefile for documentation.
# We normally install into System
GNUSTEP_INSTALLATION_DOMAIN = SYSTEM
GNUSTEP_INSTALLATION_DOMAIN = LOCAL
include $(GNUSTEP_MAKEFILES)/common.make