gtk: Add doc target.

diff --git a/src/gtk/Makefile.in b/src/gtk/Makefile.in
index d5585706dd68aff2608d0af82003c19a0e7b45a7..60695f8a6e6fa0dbcd1ba3baa29c2127ff584326 100644 (file)
--- a/src/gtk/Makefile.in
+++ b/src/gtk/Makefile.in
@@ -34,11 +34,31 @@ check:
        echo '(load "check")' | $(exe)
        echo '(load "check-doc")' | $(exe)
 
-install:
+doc: mit-scheme-gtk.info
+doc: mit-scheme-gtk.html
+
+mit-scheme-gtk.info: gtk.texinfo
+       makeinfo --no-split --output=$@ $^
+
+mit-scheme-gtk.html: gtk.texinfo
+       makeinfo --html --no-split --output=$@ $^
+
+.PHONY: all check doc
+
+install: install-shim
+#install: install-doc
+
+install-shim:
        echo '(install-shim "gtk")' \
        | $(exe) -- *.com *.bci *.pkd make.scm conses.png
        echo '(install-load-option "gtk")' | $(exe)
 
+# install-doc:
+#      echo '(install-info "gtk")' | $(exe)
+#      echo '(install-html "gtk")' | $(exe)
+
+.PHONY: install install-shim # install-doc
+
 clean:
        rm -f gtk-const.scm gtk-const gtk-const.c gtk-shim.c
        rm -f gtk-*.crf gtk-*.fre gtk-*.pkd
@@ -57,6 +77,8 @@ tags:
            `echo *.scm | sed 's/ gtk-const.scm//'` \
            -r '/^([^iI].*/' Includes/*.cdecl
 
+.PHONY: clean distclean maintainer-clean tags
+
 gtk-shim.so: gtk-shim.o gtkpanedview.o gtkscrolledview.o scmwidget.o gtkio.o
        echo "(link-shim)" | $(exe) -- $(LDFLAGS) -o $@ $^ $(LIBS) \
                        `pkg-config --libs gtk+-3.0 gthread-2.0`
@@ -92,5 +114,3 @@ gtk-const: gtk-const.o
 
 gtk-const.o: gtk-const.c gtk-shim.h
        $(CC) $(CPPFLAGS) `pkg-config --cflags gtk+-3.0` $(CFLAGS) -c $<
-
-.PHONY: all check install clean distclean maintainer-clean tags