runit

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

commit 48de3aeee677961011282a8627ad18d0e3b9216c
parent d285e569c20a2f73353d3e641c9d8c775dcbf1af
Author: Gerrit Pape <pape@smarden.org>
Date:   Sun,  9 Mar 2003 14:07:22 +0000

minor.

Diffstat:
MMakefile | 1+
1 file changed, 1 insertion(+), 0 deletions(-)

diff --git a/Makefile b/Makefile @@ -16,6 +16,7 @@ all: clean .manpages $(PACKAGE).tar.gz > doc/$$i.html ; \ done ; \ echo 'fix up html manually...' + echo 'patch -p0 <manpagehtml.diff' sh touch .manpages