diff options
Diffstat (limited to '')
| -rw-r--r-- | bin/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/Makefile b/bin/Makefile index c2bd7a09..c35e1c8f 100644 --- a/bin/Makefile +++ b/bin/Makefile @@ -135,7 +135,7 @@ $(HTMLS): html.sh style.sed hi scheme ttpre sh html.sh $< man1/$(<:.sh=.1) > $@ .h.html: - sh html.sh $< > $@ + sh html.sh $< man3/$(<:.h=.3) > $@ index.html: Makefile bin.7 sh html.sh Makefile bin.7 \ |