diff options
author | Thomas Roessler <roessler@does-not-exist.org> | 1998-06-16 18:11:24 +0000 |
---|---|---|
committer | Thomas Roessler <roessler@does-not-exist.org> | 1998-06-16 18:11:24 +0000 |
commit | 338c64a4f6615fd001f986d20060bb44a1c6d74e (patch) | |
tree | 98a736715dea7b9c3c6752dca22e6f0e81c2e8f2 /doc/Makefile.in | |
parent | 92c2c308a668ef4d34dfe3c6573f308371e44a5b (diff) |
Have "make install" install manual.txt as well.
Diffstat (limited to 'doc/Makefile.in')
-rw-r--r-- | doc/Makefile.in | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/doc/Makefile.in b/doc/Makefile.in index 7d85b315..a8f0d9be 100644 --- a/doc/Makefile.in +++ b/doc/Makefile.in @@ -1,5 +1,37 @@ +SHELL=/bin/sh +VERSION=@VERSION@ + +prefix=@prefix@ +exec_prefix=@exec_prefix@ +bindir=@bindir@ +libdir=@libdir@ +mandir=@mandir@ +sharedir=@sharedir@ +srcdir=@srcdir@ +docdir=@docdir@ +VPATH=@srcdir@/doc +@SET_MAKE@ + +INSTALL=@INSTALL@ +CC=@CC@ +XCPPFLAGS=-I. @CPPFLAGS@ +CFLAGS=@CFLAGS@ -DSHAREDIR=\"$(sharedir)\" $(XCPPFLAGS) +LDFLAGS=@LDFLAGS@ + + all: manual.txt mutt.man manual.html +install: mutt.man manual.txt + ../mkinstalldirs $(mandir)/man1 + $(INSTALL) -m 644 mutt.man $(mandir)/man1/mutt.1 + ../mkinstalldirs $(docdir) + $(INSTALL) -m 644 manual.txt $(docdir) + $(INSTALL) -m 644 PGP-Notes.txt $(docdir) + +uninstall: + -rm -f $(mandir)/man1/mutt.1 $(docdir)/manual.txt \ + $(docdir)/PGP-Notes.txt + manual.txt: manual.sgml sgml2txt manual |