diff options
author | Fumitoshi UKAI <ukai@debian.or.jp> | 2001-11-30 18:06:28 +0000 |
---|---|---|
committer | Fumitoshi UKAI <ukai@debian.or.jp> | 2001-11-30 18:06:28 +0000 |
commit | dcfbd6abaaa8015fb36911191a9eeb06bd052f6c (patch) | |
tree | 4ee185cd006ff254f6c1f95ce503d9343e26abe0 /Makefile | |
parent | [w3m-dev 02600] (diff) | |
download | w3m-dcfbd6abaaa8015fb36911191a9eeb06bd052f6c.tar.gz w3m-dcfbd6abaaa8015fb36911191a9eeb06bd052f6c.zip |
[w3m-dev 02601]
From: Fumitoshi UKAI <ukai@debian.or.jp>
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -6,6 +6,12 @@ all: XXMakefile install: XXMakefile $(MAKE) -f XXMakefile install +install-core: XXMakefile + $(MAKE) -f XXMakefile install-core + +install-helpfile: XXMakefile + $(MAKE) -f XXMakefile install-helpfile + install-scripts: XXMakefile $(MAKE) -f XXMakefile install-scripts |