Make that documentation=no instead of skip_documentation=yes

git-svn-id: svn+ssh://svn.gna.org/svn/gnustep/tools/make/trunk@39438 72102866-910b-0410-8b05-ffd578937521
This commit is contained in:
thebeing 2016-03-02 10:57:18 +00:00
parent 2fde176445
commit f5317ea6e1
2 changed files with 6 additions and 5 deletions

View file

@ -1524,15 +1524,16 @@ verbosity and see all the commands the make is executing.
make messages=yes
@end smallexample
@defvar skip_documentation
@code{skip_documentation} controls whether the documentation targets in
@defvar documentation
@code{documentation} controls whether the documentation targets in
a project will be executed. If you don't desire building the
documentation (which might require a working LaTeX installation, etc.)
you can set this to @samp{yes}.
you can set this to @samp{no}. Otherwise the documentation will
be built.
@end defvar
@smallexample
make skip_documentation=yes
make documentation=no
@end smallexample
@bye

View file

@ -24,7 +24,7 @@ ifeq ($(RULES_MAKE_LOADED),)
include $(GNUSTEP_MAKEFILES)/rules.make
endif
ifeq ($(skip_documentation),yes)
ifeq ($(documentation),no)
internal-all::
$(info Not building documentation on user request)
internal-install::