diff options
author | Gerrit Pape <pape@smarden.org> | 2003-03-09 14:07:22 +0000 |
---|---|---|
committer | Gerrit Pape <pape@smarden.org> | 2003-03-09 14:07:22 +0000 |
commit | 167f9dbaa33eca6c167a89158d67f3a3dc419583 (patch) | |
tree | cd6d0a95dbfb669cdd177bde2b65fd10b50a5f7c /Makefile | |
parent | 9a8b3be3fbbaa3291b9a592318dbcf4cdc844796 (diff) | |
download | runit-167f9dbaa33eca6c167a89158d67f3a3dc419583.tar.gz runit-167f9dbaa33eca6c167a89158d67f3a3dc419583.tar.xz runit-167f9dbaa33eca6c167a89158d67f3a3dc419583.zip |
minor.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile b/Makefile index 0023ed1..d30086c 100644 --- 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 |