summaryrefslogtreecommitdiff
path: root/mbld
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2017-11-24 10:12:12 -0800
committerOri Bernstein <ori@eigenstate.org>2017-11-24 10:12:12 -0800
commit12f30002c5d31a56779700bdb95fffbcef02d440 (patch)
tree93d119c547291471ba886276e27a4e3bd7225c23 /mbld
parentc33eb769c57da362e7a6ac64e0d538a075e5a5dd (diff)
downloadmc-12f30002c5d31a56779700bdb95fffbcef02d440.tar.gz
Document DESTDIR
Diffstat (limited to 'mbld')
-rw-r--r--mbld/mbld.19
1 files changed, 9 insertions, 0 deletions
diff --git a/mbld/mbld.1 b/mbld/mbld.1
index 3efbeba..ddfef1c 100644
--- a/mbld/mbld.1
+++ b/mbld/mbld.1
@@ -97,6 +97,15 @@ muse.
Links with the runtime $MYR_RT instead of the default of
prefix/lib/myr/_myrrt.o.
+.TP
+.B DESTDIR
+Specified that when the files installed by
+.I mbld install
+are put into place, the paths are prefixed with
+.I DESTDIR.
+This fits with the conventions of many package systems,
+allowing Myrddin code to be packaged more easily.
+
.SH FILES
.TP