allow customization of the "doc" target to skip certain types of documentation
commit0a9c29d30518222f455b72ef6955ec02b8a4814d
authorAchim Gratz <Stromeko@Stromeko.DE>
Sun, 22 Apr 2012 06:22:31 +0000 (22 08:22 +0200)
committerBastien Guerry <bzg@altern.org>
Sun, 22 Apr 2012 08:51:29 +0000 (22 10:51 +0200)
treee35406000607456f0d26ae401eb9dd9d51ee9dcf
parent7993ae4816d5e8f11b0f0fa4279a8602e28707d2
allow customization of the "doc" target to skip certain types of documentation

* doc/Makefile: read targets to make for "doc" from $(ORG_MAKE_DOC),
  defaults to "info html pdf"; can be overridden by the user in
  local.mk.

* targets.mk: read targets to make for "doc" and "docs" from
  $(ORG_MAKE_DOC), defaults to "info html pdf"; can be overridden by
  the user in local.mk.

* default.mk: document ORG_MAKE_DOC and provide a (commented) example
  of how to have make only produce info documentation.
default.mk
doc/Makefile
targets.mk