diff --git a/hledger/other/README b/hledger/.otherdocs/README
similarity index 71%
rename from hledger/other/README
rename to hledger/.otherdocs/README
index e01a061c2..f6d5956cf 100644
--- a/hledger/other/README
+++ b/hledger/.otherdocs/README
@@ -1,4 +1,4 @@
-A local copy of all the other hledger packages' rendered manuals,
+Symbolic links to all the other hledger packages' rendered manuals,
 for embedding into the hledger program via Hledger/Cli/DocFiles.hs.
 (Because you can only embed relative file paths which are under 
 the current package directory, IIRC).
diff --git a/hledger/.otherdocs/hledger-api.1 b/hledger/.otherdocs/hledger-api.1
new file mode 120000
index 000000000..bafa629c8
--- /dev/null
+++ b/hledger/.otherdocs/hledger-api.1
@@ -0,0 +1 @@
+../../hledger-api/hledger-api.1
\ No newline at end of file
diff --git a/hledger/.otherdocs/hledger-api.info b/hledger/.otherdocs/hledger-api.info
new file mode 120000
index 000000000..7d4b9c3f1
--- /dev/null
+++ b/hledger/.otherdocs/hledger-api.info
@@ -0,0 +1 @@
+../../hledger-api/hledger-api.info
\ No newline at end of file
diff --git a/hledger/.otherdocs/hledger-api.txt b/hledger/.otherdocs/hledger-api.txt
new file mode 120000
index 000000000..d00f9ec9a
--- /dev/null
+++ b/hledger/.otherdocs/hledger-api.txt
@@ -0,0 +1 @@
+../../hledger-api/hledger-api.txt
\ No newline at end of file
diff --git a/hledger/.otherdocs/hledger-ui.1 b/hledger/.otherdocs/hledger-ui.1
new file mode 120000
index 000000000..172714a72
--- /dev/null
+++ b/hledger/.otherdocs/hledger-ui.1
@@ -0,0 +1 @@
+../../hledger-ui/hledger-ui.1
\ No newline at end of file
diff --git a/hledger/.otherdocs/hledger-ui.info b/hledger/.otherdocs/hledger-ui.info
new file mode 120000
index 000000000..7ce58155b
--- /dev/null
+++ b/hledger/.otherdocs/hledger-ui.info
@@ -0,0 +1 @@
+../../hledger-ui/hledger-ui.info
\ No newline at end of file
diff --git a/hledger/.otherdocs/hledger-ui.txt b/hledger/.otherdocs/hledger-ui.txt
new file mode 120000
index 000000000..97e5b31d9
--- /dev/null
+++ b/hledger/.otherdocs/hledger-ui.txt
@@ -0,0 +1 @@
+../../hledger-ui/hledger-ui.txt
\ No newline at end of file
diff --git a/hledger/.otherdocs/hledger-web.1 b/hledger/.otherdocs/hledger-web.1
new file mode 120000
index 000000000..56fa56b5b
--- /dev/null
+++ b/hledger/.otherdocs/hledger-web.1
@@ -0,0 +1 @@
+../../hledger-web/hledger-web.1
\ No newline at end of file
diff --git a/hledger/.otherdocs/hledger-web.info b/hledger/.otherdocs/hledger-web.info
new file mode 120000
index 000000000..adc31deb0
--- /dev/null
+++ b/hledger/.otherdocs/hledger-web.info
@@ -0,0 +1 @@
+../../hledger-web/hledger-web.info
\ No newline at end of file
diff --git a/hledger/.otherdocs/hledger-web.txt b/hledger/.otherdocs/hledger-web.txt
new file mode 120000
index 000000000..3e423b3ba
--- /dev/null
+++ b/hledger/.otherdocs/hledger-web.txt
@@ -0,0 +1 @@
+../../hledger-web/hledger-web.txt
\ No newline at end of file
diff --git a/hledger/.otherdocs/hledger_csv.5 b/hledger/.otherdocs/hledger_csv.5
new file mode 120000
index 000000000..1e5006ccd
--- /dev/null
+++ b/hledger/.otherdocs/hledger_csv.5
@@ -0,0 +1 @@
+../../hledger-lib/hledger_csv.5
\ No newline at end of file
diff --git a/hledger/.otherdocs/hledger_csv.info b/hledger/.otherdocs/hledger_csv.info
new file mode 120000
index 000000000..0a56521c3
--- /dev/null
+++ b/hledger/.otherdocs/hledger_csv.info
@@ -0,0 +1 @@
+../../hledger-lib/hledger_csv.info
\ No newline at end of file
diff --git a/hledger/.otherdocs/hledger_csv.txt b/hledger/.otherdocs/hledger_csv.txt
new file mode 120000
index 000000000..3e3b5c0a3
--- /dev/null
+++ b/hledger/.otherdocs/hledger_csv.txt
@@ -0,0 +1 @@
+../../hledger-lib/hledger_csv.txt
\ No newline at end of file
diff --git a/hledger/.otherdocs/hledger_journal.5 b/hledger/.otherdocs/hledger_journal.5
new file mode 120000
index 000000000..b2d330d11
--- /dev/null
+++ b/hledger/.otherdocs/hledger_journal.5
@@ -0,0 +1 @@
+../../hledger-lib/hledger_journal.5
\ No newline at end of file
diff --git a/hledger/.otherdocs/hledger_journal.info b/hledger/.otherdocs/hledger_journal.info
new file mode 120000
index 000000000..1bf9759e9
--- /dev/null
+++ b/hledger/.otherdocs/hledger_journal.info
@@ -0,0 +1 @@
+../../hledger-lib/hledger_journal.info
\ No newline at end of file
diff --git a/hledger/.otherdocs/hledger_journal.txt b/hledger/.otherdocs/hledger_journal.txt
new file mode 120000
index 000000000..5d84ac23d
--- /dev/null
+++ b/hledger/.otherdocs/hledger_journal.txt
@@ -0,0 +1 @@
+../../hledger-lib/hledger_journal.txt
\ No newline at end of file
diff --git a/hledger/.otherdocs/hledger_timeclock.5 b/hledger/.otherdocs/hledger_timeclock.5
new file mode 120000
index 000000000..076e3541d
--- /dev/null
+++ b/hledger/.otherdocs/hledger_timeclock.5
@@ -0,0 +1 @@
+../../hledger-lib/hledger_timeclock.5
\ No newline at end of file
diff --git a/hledger/.otherdocs/hledger_timeclock.info b/hledger/.otherdocs/hledger_timeclock.info
new file mode 120000
index 000000000..d5c447eff
--- /dev/null
+++ b/hledger/.otherdocs/hledger_timeclock.info
@@ -0,0 +1 @@
+../../hledger-lib/hledger_timeclock.info
\ No newline at end of file
diff --git a/hledger/.otherdocs/hledger_timeclock.txt b/hledger/.otherdocs/hledger_timeclock.txt
new file mode 120000
index 000000000..8cce85050
--- /dev/null
+++ b/hledger/.otherdocs/hledger_timeclock.txt
@@ -0,0 +1 @@
+../../hledger-lib/hledger_timeclock.txt
\ No newline at end of file
diff --git a/hledger/.otherdocs/hledger_timedot.5 b/hledger/.otherdocs/hledger_timedot.5
new file mode 120000
index 000000000..bae523dfd
--- /dev/null
+++ b/hledger/.otherdocs/hledger_timedot.5
@@ -0,0 +1 @@
+../../hledger-lib/hledger_timedot.5
\ No newline at end of file
diff --git a/hledger/.otherdocs/hledger_timedot.info b/hledger/.otherdocs/hledger_timedot.info
new file mode 120000
index 000000000..1392717f3
--- /dev/null
+++ b/hledger/.otherdocs/hledger_timedot.info
@@ -0,0 +1 @@
+../../hledger-lib/hledger_timedot.info
\ No newline at end of file
diff --git a/hledger/.otherdocs/hledger_timedot.txt b/hledger/.otherdocs/hledger_timedot.txt
new file mode 120000
index 000000000..039b01139
--- /dev/null
+++ b/hledger/.otherdocs/hledger_timedot.txt
@@ -0,0 +1 @@
+../../hledger-lib/hledger_timedot.txt
\ No newline at end of file
diff --git a/hledger/other/hledger-api.1 b/hledger/other/hledger-api.1
deleted file mode 120000
index 112623610..000000000
--- a/hledger/other/hledger-api.1
+++ /dev/null
@@ -1 +0,0 @@
-../../../hledger-api/doc/hledger-api.1
\ No newline at end of file
diff --git a/hledger/other/hledger-api.info b/hledger/other/hledger-api.info
deleted file mode 120000
index 5e419823a..000000000
--- a/hledger/other/hledger-api.info
+++ /dev/null
@@ -1 +0,0 @@
-../../../hledger-api/doc/hledger-api.1.info
\ No newline at end of file
diff --git a/hledger/other/hledger-api.txt b/hledger/other/hledger-api.txt
deleted file mode 120000
index 41482c65b..000000000
--- a/hledger/other/hledger-api.txt
+++ /dev/null
@@ -1 +0,0 @@
-../../../hledger-api/doc/hledger-api.1.txt
\ No newline at end of file
diff --git a/hledger/other/hledger-ui.1 b/hledger/other/hledger-ui.1
deleted file mode 120000
index c530a2fff..000000000
--- a/hledger/other/hledger-ui.1
+++ /dev/null
@@ -1 +0,0 @@
-../../../hledger-ui/doc/hledger-ui.1
\ No newline at end of file
diff --git a/hledger/other/hledger-ui.info b/hledger/other/hledger-ui.info
deleted file mode 120000
index 5501a8809..000000000
--- a/hledger/other/hledger-ui.info
+++ /dev/null
@@ -1 +0,0 @@
-../../../hledger-ui/doc/hledger-ui.1.info
\ No newline at end of file
diff --git a/hledger/other/hledger-ui.txt b/hledger/other/hledger-ui.txt
deleted file mode 120000
index 774b30ede..000000000
--- a/hledger/other/hledger-ui.txt
+++ /dev/null
@@ -1 +0,0 @@
-../../../hledger-ui/doc/hledger-ui.1.txt
\ No newline at end of file
diff --git a/hledger/other/hledger-web.1 b/hledger/other/hledger-web.1
deleted file mode 120000
index 5987eef33..000000000
--- a/hledger/other/hledger-web.1
+++ /dev/null
@@ -1 +0,0 @@
-../../../hledger-web/doc/hledger-web.1
\ No newline at end of file
diff --git a/hledger/other/hledger-web.info b/hledger/other/hledger-web.info
deleted file mode 120000
index ebacd06b8..000000000
--- a/hledger/other/hledger-web.info
+++ /dev/null
@@ -1 +0,0 @@
-../../../hledger-web/doc/hledger-web.1.info
\ No newline at end of file
diff --git a/hledger/other/hledger-web.txt b/hledger/other/hledger-web.txt
deleted file mode 120000
index bffd50e3c..000000000
--- a/hledger/other/hledger-web.txt
+++ /dev/null
@@ -1 +0,0 @@
-../../../hledger-web/doc/hledger-web.1.txt
\ No newline at end of file
diff --git a/hledger/other/hledger_csv.5 b/hledger/other/hledger_csv.5
deleted file mode 120000
index c7424acbc..000000000
--- a/hledger/other/hledger_csv.5
+++ /dev/null
@@ -1 +0,0 @@
-../../../hledger-lib/doc/hledger_csv.5
\ No newline at end of file
diff --git a/hledger/other/hledger_csv.info b/hledger/other/hledger_csv.info
deleted file mode 120000
index 01ff474af..000000000
--- a/hledger/other/hledger_csv.info
+++ /dev/null
@@ -1 +0,0 @@
-../../../hledger-lib/doc/hledger_csv.5.info
\ No newline at end of file
diff --git a/hledger/other/hledger_csv.txt b/hledger/other/hledger_csv.txt
deleted file mode 120000
index 9cead72ba..000000000
--- a/hledger/other/hledger_csv.txt
+++ /dev/null
@@ -1 +0,0 @@
-../../../hledger-lib/doc/hledger_csv.5.txt
\ No newline at end of file
diff --git a/hledger/other/hledger_journal.5 b/hledger/other/hledger_journal.5
deleted file mode 120000
index 0842eb416..000000000
--- a/hledger/other/hledger_journal.5
+++ /dev/null
@@ -1 +0,0 @@
-../../../hledger-lib/doc/hledger_journal.5
\ No newline at end of file
diff --git a/hledger/other/hledger_journal.info b/hledger/other/hledger_journal.info
deleted file mode 120000
index 5d1e92bac..000000000
--- a/hledger/other/hledger_journal.info
+++ /dev/null
@@ -1 +0,0 @@
-../../../hledger-lib/doc/hledger_journal.5.info
\ No newline at end of file
diff --git a/hledger/other/hledger_journal.txt b/hledger/other/hledger_journal.txt
deleted file mode 120000
index 244973395..000000000
--- a/hledger/other/hledger_journal.txt
+++ /dev/null
@@ -1 +0,0 @@
-../../../hledger-lib/doc/hledger_journal.5.txt
\ No newline at end of file
diff --git a/hledger/other/hledger_timeclock.5 b/hledger/other/hledger_timeclock.5
deleted file mode 120000
index 7fe8a4455..000000000
--- a/hledger/other/hledger_timeclock.5
+++ /dev/null
@@ -1 +0,0 @@
-../../../hledger-lib/doc/hledger_timeclock.5
\ No newline at end of file
diff --git a/hledger/other/hledger_timeclock.info b/hledger/other/hledger_timeclock.info
deleted file mode 120000
index b1f159056..000000000
--- a/hledger/other/hledger_timeclock.info
+++ /dev/null
@@ -1 +0,0 @@
-../../../hledger-lib/doc/hledger_timeclock.5.info
\ No newline at end of file
diff --git a/hledger/other/hledger_timeclock.txt b/hledger/other/hledger_timeclock.txt
deleted file mode 120000
index 170d95262..000000000
--- a/hledger/other/hledger_timeclock.txt
+++ /dev/null
@@ -1 +0,0 @@
-../../../hledger-lib/doc/hledger_timeclock.5.txt
\ No newline at end of file
diff --git a/hledger/other/hledger_timedot.5 b/hledger/other/hledger_timedot.5
deleted file mode 120000
index dc19d7f1e..000000000
--- a/hledger/other/hledger_timedot.5
+++ /dev/null
@@ -1 +0,0 @@
-../../../hledger-lib/doc/hledger_timedot.5
\ No newline at end of file
diff --git a/hledger/other/hledger_timedot.info b/hledger/other/hledger_timedot.info
deleted file mode 120000
index f7f6bf725..000000000
--- a/hledger/other/hledger_timedot.info
+++ /dev/null
@@ -1 +0,0 @@
-../../../hledger-lib/doc/hledger_timedot.5.info
\ No newline at end of file
diff --git a/hledger/other/hledger_timedot.txt b/hledger/other/hledger_timedot.txt
deleted file mode 120000
index fc23e8078..000000000
--- a/hledger/other/hledger_timedot.txt
+++ /dev/null
@@ -1 +0,0 @@
-../../../hledger-lib/doc/hledger_timedot.5.txt
\ No newline at end of file