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/include.mk | |
| 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/include.mk')
| -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' |