summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2014-12-25 16:34:29 -0800
committerOri Bernstein <ori@eigenstate.org>2014-12-25 16:34:29 -0800
commitffbf3ff37e7880ddf50974096296e90b6234335c (patch)
tree7570b727d854b3b42318ee29dc49dfc8d25c43ce /doc
parent451e13c305b0adf17505ee77fb2e7cbeca65fd1e (diff)
downloadmc-ffbf3ff37e7880ddf50974096296e90b6234335c.tar.gz
Add mkfile for docs.
Diffstat (limited to 'doc')
-rw-r--r--doc/mkfile6
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/mkfile b/doc/mkfile
new file mode 100644
index 0000000..9c93aaa
--- /dev/null
+++ b/doc/mkfile
@@ -0,0 +1,6 @@
+MANS=\
+ mc.1 \
+ muse.1 \
+ myrbuild.1 \
+
+all:V: $MANS