diff options
author | Eric Wong <e@80x24.org> | 2019-05-07 20:40:28 +0000 |
---|---|---|
committer | Eric Wong <e@80x24.org> | 2019-05-08 22:56:34 +0000 |
commit | e50b4ffa4ac7ac07cd4922459b292734b0e370bd (patch) | |
tree | b4456affedabd66ef169af1a4d043d91593cc265 /Documentation/include.mk | |
parent | 5af9839f734c4eb5c0982c6b75e1425c3187f88f (diff) | |
download | public-inbox-e50b4ffa4ac7ac07cd4922459b292734b0e370bd.tar.gz |
We can fix the redundant rule in include.mk which causes make(1) on FreeBSD to complain; but HTML docs will likely still require GNU make.
Diffstat (limited to 'Documentation/include.mk')
-rw-r--r-- | Documentation/include.mk | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Documentation/include.mk b/Documentation/include.mk index 02cbef30..9089e062 100644 --- a/Documentation/include.mk +++ b/Documentation/include.mk @@ -87,8 +87,9 @@ dtxt := $(addprefix Documentation/, $(dtxt)) $(mantxt) Documentation/standards.txt : Documentation/standards.perl $(PERL) $< >$@+ && mv $@+ $@ -%.html: %.txt - TITLE="$(basename $(<F))" $(txt2pre) +Documentation/%.html: Documentation/%.txt + $(txt2pre) + %.html: % $(txt2pre) |