mirror of
https://github.com/gnustep/libs-gui.git
synced 2025-04-26 19:21:13 +00:00
18 lines
329 B
Text
18 lines
329 B
Text
|
|
||
|
|
include $(GNUSTEP_MAKEFILES)/common.make
|
||
|
|
|
||
|
|
#GNUSTEP_MAKEINFO_FLAGS = -D NO-TEXI2HTML
|
||
|
|
|
||
|
|
DOCUMENT_NAME = manual
|
||
|
|
|
||
|
|
manual_TEXI_FILES = \
|
||
|
|
manual.texi \
|
||
|
|
Introduction.texi \
|
||
|
|
BasicClasses.texi
|
||
|
|
|
||
|
|
manual_DOC_INSTALL_DIR = Developer/Gui/ProgrammingManual
|
||
|
|
|
||
|
|
include $(GNUSTEP_MAKEFILES)/documentation.make
|
||
|
|
|
||
|
|
|