# Makefile.in for sawmill's Texinfo manual
# Copyright (C) 1998 John Harper <john@dcs.warwick.ac.uk>
# $Id: Makefile.in,v 1.15 2002/04/14 20:01:49 jsh Exp $
#
# This file is part of sawmill.
#
# sawmill is free software; you can redistribute it and/or modify it
# under the terms of the GNU General Public License as published by
# the Free Software Foundation; either version 2, or (at your option)
# any later version.
#
# sawmill is distributed in the hope that it will be useful, but
# WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with sawmill; see the file COPYING.  If not, write to
# the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.

include ../Makedefs

top_builddir=..
top_srcdir=@top_srcdir@
srcdir=@srcdir@
VPATH=@srcdir@:@top_srcdir@

SRCS = sawmill.texi news.texi faq.texi

MAKEINFO = makeinfo

#MAKEINFOFLAGS = --no-validate
MAKEINFOFLAGS = 

TEXI2DVI = texi2dvi
DVIPS = dvips

all : sawfish.info ../NEWS

../NEWS : news.texi
	$(MAKEINFO) $(MAKEINFOFLAGS) --no-headers $< -o ../NEWS

../FAQ : faq.texi
	$(MAKEINFO) $(MAKEINFOFLAGS) --no-validate --no-headers $< -o ../FAQ

sawfish.info : $(SRCS)
	$(MAKEINFO) $(MAKEINFOFLAGS) -I $(srcdir) $< -o sawfish.info

sawfish.dvi : $(SRCS)
	$(TEXI2DVI) -I $(srcdir) $<

sawfish.ps : sawfish.dvi
	$(DVIPS) -f <sawfish.dvi >sawfish.ps

man : sawfish.info sawfish.guide sawfish.doc sawfish.dvi sawfish.ps

install : sawfish.info installdirs
	for f in sawfish.info*; do \
 	  $(INSTALL_DATA) $$f $(DESTDIR)$(infodir); \
	done
	-install-info --info-dir=$(DESTDIR)$(infodir) sawfish.info

installdirs : mkinstalldirs
	$(SHELL) $< $(DESTDIR)$(infodir)

uninstall :
	rm -f $(DESTDIR)$(infodir)/sawfish.info*
	-install-info --remove --info-dir=$(DESTDIR)$(infodir) sawfish.info

clean :
	rm -f *~ sawfish.info* sawfish.?? sawfish.???

realclean : clean
	rm -f Makefile