view scripts/help/module.mk @ 20177:15e5eb7a0c1d

make dist: add updated zoom images to EXTRADIST (bug #44579) * libgui/graphics/module.mk: add graphics/images/zoom-in.png, graphics/images/zoom-out.png, remove graphics/images/zoom.png
author John Donoghue
date Thu, 19 Mar 2015 08:37:47 -0400
parents 21656a949661
children fa9fa6ab76f0
line wrap: on
line source

FCN_FILE_DIRS += help

help_PRIVATE_FCN_FILES = \
  help/private/__additional_help_message__.m \
  help/private/__strip_html_tags__.m

help_FCN_FILES = \
  help/__gripe_missing_component__.m \
  help/__makeinfo__.m \
  help/__unimplemented__.m \
  help/doc.m \
  help/doc_cache_create.m \
  help/get_first_help_sentence.m \
  help/help.m \
  help/lookfor.m \
  help/print_usage.m \
  help/type.m \
  help/which.m \
  $(help_PRIVATE_FCN_FILES)

FCN_FILES += $(help_FCN_FILES)

PKG_ADD_FILES += help/PKG_ADD

DIRSTAMP_FILES += help/$(octave_dirstamp)