chiark / gitweb /
manual/Makefile.am: Install the HTML version of the manual correctly.
[become] / manual / Makefile.am
CommitLineData
8b580399 1## Process this file with `automake' to generate `Makefile.in'
2## -*-makefile-*-
3##
af4f4d6a 4## $Id: Makefile.am,v 1.10 2004/04/08 01:36:20 mdw Exp $
8b580399 5##
6## Makefile for `become'
7##
c758e654 8## (c) 1998 EBI
8b580399 9##
10
11##----- Licensing notice ----------------------------------------------------
12##
13## This file is part of `become'
14##
15## `Become' is free software; you can redistribute it and/or modify
16## it under the terms of the GNU General Public License as published by
17## the Free Software Foundation; either version 2 of the License, or
18## (at your option) any later version.
19##
20## `Become' is distributed in the hope that it will be useful,
21## but WITHOUT ANY WARRANTY; without even the implied warranty of
22## MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
23## GNU General Public License for more details.
24##
25## You should have received a copy of the GNU General Public License
26## along with `become'; if not, write to the Free Software Foundation,
27## Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
28
8b580399 29##----- Distribute the right things -----------------------------------------
30
23562059 31htmldir = @htmldir@
32
3d7dcae8 33EXTRA_DIST = gpl.texi texinfo.tex texinice.tex stamp-html.in
23562059 34info_TEXINFOS = become.texi
35noinst_DATA = become_*.html
36
37become_*.html: stamp-html.in
38
39stamp-html.in: $(srcdir)/become.texi
40 cd $(srcdir); texi2html -menu -split_node become.texi
41 echo datestamp >$(srcdir)/stamp-html.in
42
43install-data-local: stamp-html.in
b0f66028 44 $(mkinstalldirs) $(DESTDIR)$(htmldir)
7c6720e0 45 for i in $(srcdir)/become/become_*.html; do \
b0f66028 46 $(INSTALL_DATA) $$i $(DESTDIR)$(htmldir); \
23562059 47 done
48
49uninstall-local:
50 rm -f $(htmldir)/become_*.html
51
58b76e2e 52dist-hook:
53 distdir=`cd $(distdir) && pwd`; \
54 cd $(srcdir); \
7c6720e0
MW
55 mkdir $$distdir/become; \
56 ln become/become_*.html $$distdir/become
58b76e2e 57
23562059 58MAINTAINERCLEANFILES = \
7c6720e0 59 $(srcdir)/stamp-html.in $(srcdir)/become/become_*.html \
23562059 60 $(srcdir)/become.info*
8b580399 61
62##----- That's all, folks ---------------------------------------------------