diff options
author | jsorg71 <jsorg71> | 2006-03-04 01:02:09 +0000 |
---|---|---|
committer | jsorg71 <jsorg71> | 2006-03-04 01:02:09 +0000 |
commit | 05178d073366e08d692bd18e351cb629813482bf (patch) | |
tree | 6474f26cc08f020320a309d4ed35b6321a385c4d /docs | |
parent | 42a6b2bdd0c4bf89989b45187b0c11bc95455ffd (diff) | |
download | xrdp-proprietary-05178d073366e08d692bd18e351cb629813482bf.tar.gz xrdp-proprietary-05178d073366e08d692bd18e351cb629813482bf.zip |
added installdeb to makefiles
Diffstat (limited to 'docs')
-rw-r--r-- | docs/Makefile | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/docs/Makefile b/docs/Makefile index 07a618f0..a7caf555 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -10,3 +10,10 @@ all: world world: install: + +installdeb: + install man/sesman.8 $(DESTDIRDEB)/usr/man/man8/sesman.8 + install man/sesrun.8 $(DESTDIRDEB)/usr/man/man8/sesrun.8 + install man/xrdp.8 $(DESTDIRDEB)/usr/man/man8/xrdp.8 + install man/sesman.ini.5 $(DESTDIRDEB)/usr/man/man5/sesman.ini.5 + install man/xrdp.ini.5 $(DESTDIRDEB)/usr/man/man5/xrdp.ini.5 |