#
# Documentation Makefile
# 
# Copyright © 1994-1999 Erick Gallesio - I3S-CNRS/ESSI <eg@unice.fr>
# 
# Permission to use, copy, modify, distribute,and license this
# software and its documentation for any purpose is hereby granted,
# provided that existing copyright notices are retained in all
# copies and that this notice is included verbatim in any
# distributions.  No written agreement, license, or royalty fee is
# required for any of the authorized uses.
# This software is provided ``AS IS'' without express or implied
# warranty.
#
#           Author: Erick Gallesio [eg@unice.fr]
#    Creation date: 21-Oct-1994 11:25
# Last file update: 12-Sep-1999 20:31 (eg)

#include ../config.make

PREFIX		= @prefix@
MANDIR		= ${PREFIX}/man

MAN1_DIR	= $(MANDIR)/man1
MANN_DIR	= $(MANDIR)/mann
DOC_DIR		= $(PREFIX)/doc/stk-stub

DIRS		= Extension Reference STklos+Tk Manual Isotas96

install: install.man

all:	dvi ps

dvi:
	for i in $(DIRS); do (cd $$i; $(MAKE) dvi); done

ps:	
	for i in $(DIRS); do (cd $$i; $(MAKE) ps); done

install.man:
	(cd Manual; $(MAKE) install.man)

install.ps:
	-if [ ! -d $(DOC_DIR) ] ; then mkdir -p $(DOC_DIR); fi
	(cd Extension; $(MAKE) install DOC_DIR=$(DOC_DIR))
	(cd Reference; $(MAKE) install DOC_DIR=$(DOC_DIR))

clean:
#	for i in $(DIRS); do (cd $$i; $(MAKE) clean); done

distclean:
#	for i in $(DIRS); do (cd $$i; $(MAKE) very-clean); done
	rm -rf Makefile