diff options
author | Eric Wong <e@80x24.org> | 2016-08-16 07:49:56 +0000 |
---|---|---|
committer | Eric Wong <e@80x24.org> | 2016-08-16 21:30:45 +0000 |
commit | 120b17a46f06e143d4a59825cdd5db72e852cff2 (patch) | |
tree | 45f9ccf8fc407901006bd0c7f94c41c66c0c7ac7 /Documentation | |
parent | 5cbb8df04448baf6c07c3de652d287bd2a0a3299 (diff) | |
download | public-inbox-120b17a46f06e143d4a59825cdd5db72e852cff2.tar.gz |
Also, at least add one of the Tor mirrors (the rest will be discoverable through the mirrors themselves).
Diffstat (limited to 'Documentation')
-rw-r--r-- | Documentation/include.mk | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Documentation/include.mk b/Documentation/include.mk index 94278870..396a2585 100644 --- a/Documentation/include.mk +++ b/Documentation/include.mk @@ -4,7 +4,8 @@ all:: RSYNC = rsync RSYNC_DEST = public-inbox.org:/srv/public-inbox/ -docs := README COPYING INSTALL TODO $(shell git ls-files 'Documentation/*.txt') +docs := README COPYING INSTALL TODO HACKING +docs += $(shell git ls-files 'Documentation/*.txt') INSTALL = install POD2MAN ?= pod2man POD2MAN_OPTS = -v --stderr -d 1994-10-02 -c 'public-inbox user manual' |