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/hosted.txt | |
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/hosted.txt')
-rw-r--r-- | Documentation/hosted.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Documentation/hosted.txt b/Documentation/hosted.txt index 42926d25..0b1fb92a 100644 --- a/Documentation/hosted.txt +++ b/Documentation/hosted.txt @@ -1,3 +1,5 @@ +unofficially hosted mirrors at public-inbox.org + In addition to eating our own dogfood at <https://public-inbox.org/meta/>, public-inbox.org hosts unofficial archives for several other projects as a service to their users and to further test our own software. |