1
# Makefile.in for sawmill's Texinfo manual
2
# Copyright (C) 1998 John Harper <john@dcs.warwick.ac.uk>
3
# $Id: Makefile.in,v 1.12 2000/11/14 01:08:03 jsh Exp $
5
# This file is part of sawmill.
7
# sawmill is free software; you can redistribute it and/or modify it
8
# under the terms of the GNU General Public License as published by
9
# the Free Software Foundation; either version 2, or (at your option)
12
# sawmill is distributed in the hope that it will be useful, but
13
# WITHOUT ANY WARRANTY; without even the implied warranty of
14
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15
# GNU General Public License for more details.
17
# You should have received a copy of the GNU General Public License
18
# along with sawmill; see the file COPYING. If not, write to
19
# the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.
24
top_srcdir=@top_srcdir@
26
VPATH=@srcdir@:@top_srcdir@
28
SRCS = sawmill.texi news.texi faq.texi
32
#MAKEINFOFLAGS = --no-validate
38
all : sawfish.info ../NEWS
41
$(MAKEINFO) $(MAKEINFOFLAGS) --no-headers $< -o ../NEWS
44
$(MAKEINFO) $(MAKEINFOFLAGS) --no-validate --no-headers $< -o ../FAQ
46
sawfish.info : $(SRCS)
47
$(MAKEINFO) $(MAKEINFOFLAGS) -I $(srcdir) $< -o sawfish.info
50
$(TEXI2DVI) -I $(srcdir) $<
52
sawfish.ps : sawfish.dvi
53
$(DVIPS) -f <sawfish.dvi >sawfish.ps
55
man : sawfish.info sawfish.guide sawfish.doc sawfish.dvi sawfish.ps
57
install : sawfish.info installdirs
58
for f in sawfish.info*; do \
59
$(INSTALL_DATA) $$f $(DESTDIR)$(infodir); \
61
-install-info sawfish.info $(DESTDIR)$(infodir)/dir
63
installdirs : mkinstalldirs
64
$(SHELL) $< $(DESTDIR)$(infodir)
67
rm -f $(DESTDIR)$(infodir)/sawfish.info*
68
-install-info --delete sawfish.info $(DESTDIR)$(infodir)/dir
71
rm -f *~ sawfish.info* sawfish.?? sawfish.???