mirror of
https://github.com/gnustep/tools-make.git
synced 2025-06-01 17:52:07 +00:00
Added FIXME about wrong naming convention
git-svn-id: svn+ssh://svn.gna.org/svn/gnustep/tools/make/trunk@24328 72102866-910b-0410-8b05-ffd578937521
This commit is contained in:
parent
29756933ff
commit
5e78e52a94
1 changed files with 11 additions and 0 deletions
|
@ -61,6 +61,17 @@ GNUSTEP_INSTALLATION_DOMAIN = SYSTEM
|
||||||
include $(GNUSTEP_MAKEFILES)/common.make
|
include $(GNUSTEP_MAKEFILES)/common.make
|
||||||
|
|
||||||
# The documents to be generated
|
# The documents to be generated
|
||||||
|
|
||||||
|
# FIXME: We should prefix everything with 'gnustep' because we
|
||||||
|
# generate info files that we then put into the standard info
|
||||||
|
# directories, and we don't want those to conflict with info files
|
||||||
|
# from other packages! For example, 'info make' should return GNU
|
||||||
|
# make documentation, while 'info gnustep-make' should return
|
||||||
|
# GNUstep-make documentation. At the moment they would have the same
|
||||||
|
# name instead, giving rise to unpleasant consequences! For example
|
||||||
|
# in a default installation, 'info make' would return gnustep-make
|
||||||
|
# documentation (instead of GNU make one) because the INFOPATH is used
|
||||||
|
# before built-in paths!
|
||||||
DOCUMENT_NAME = gnustep-howto faq filesystem internals machines make userfaq
|
DOCUMENT_NAME = gnustep-howto faq filesystem internals machines make userfaq
|
||||||
|
|
||||||
# The text documents to be generated
|
# The text documents to be generated
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue