empire/empserver
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

install: Remove stale formatted info pages

Browse source 
Blow away $(einfodir) and $(ehtmldir).  Without this, formatted pages
can linger after page removal.  Matters, because info.c searches
$(einfodir) rather than the index $(einfodir)/all.  Same for web
servers and $(ehtmldir).

Signed-off-by: Markus Armbruster <armbru@pond.sub.org>
This commit is contained in:
Markus Armbruster 2013-12-26 18:15:56 +01:00
parent ee1f146dd8
commit e1273ae4ca
1 changed files with 3 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
Make.mk
View file

@ -27,7 +27,7 @@
# Make.mk: The real Makefile, included by GNUmakefile
#
# Known contributors to this file:
# Markus Armbruster, 2005-2012
# Markus Armbruster, 2005-2013
#
# This makefile was inspired by `Recursive Make Considered Harmful',
@ -201,6 +201,7 @@ install: all installdirs
$(INSTALL_PROGRAM) $(util) $(server) $(sbindir)
$(INSTALL_PROGRAM) $(client) $(bindir)
$(INSTALL) -m 444 $(addprefix $(srcdir)/, $(builtins)) $(builtindir)
rm -f $(einfodir)/*
$(INSTALL_DATA) $(info.nr) $(einfodir)
$(INSTALL_DATA) $(addprefix $(srcdir)/, $(man6)) $(mandir)/man6
sed -e '1,/^$$/d' -e 's/^/# /g' <$(srcdir)/doc/schedule >$(schedule).dist
@ -232,6 +233,7 @@ installdirs:
.PHONY: install-html
install-html: html
mkdir -p $(ehtmldir)
rm -f $(ehtmldir)/*
$(INSTALL_DATA) $(info.html) $(ehtmldir)
.PHONY: uninstall