diff options
| author | Ori Bernstein <ori@markovcorp.com> | 2017-01-13 11:19:28 -0800 |
|---|---|---|
| committer | Ori Bernstein <ori@markovcorp.com> | 2017-01-13 11:25:20 -0800 |
| commit | a8e7cff8503ba81955e63546e7c4328cee5490c6 (patch) | |
| tree | e9a012a592585ed9977625380d9533cec723fb38 /doc | |
| parent | 134d1ae9730f1aab24681285edfc452b4ac1aeee (diff) | |
| download | mc-a8e7cff8503ba81955e63546e7c4328cee5490c6.tar.gz | |
Remove obsolete makefile, replace with bld.sub
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/Makefile | 6 | ||||
| -rw-r--r-- | doc/bld.sub | 4 |
2 files changed, 4 insertions, 6 deletions
diff --git a/doc/Makefile b/doc/Makefile deleted file mode 100644 index bf708dd..0000000 --- a/doc/Makefile +++ /dev/null @@ -1,6 +0,0 @@ -INSTMAN=6m.1 \ - muse.1 \ - -include ../config.mk -include ../mk/c.mk - diff --git a/doc/bld.sub b/doc/bld.sub new file mode 100644 index 0000000..853b3b3 --- /dev/null +++ b/doc/bld.sub @@ -0,0 +1,4 @@ +man = + 6m.1 + muse.1 +;; |