diff options
| author | Olivier Blin <oblin@mandriva.org> | 2005-08-08 03:16:49 +0000 |
|---|---|---|
| committer | Olivier Blin <oblin@mandriva.org> | 2005-08-08 03:16:49 +0000 |
| commit | 3d9e76b6f00c6a46c444e808d29d8caab149ccd7 (patch) | |
| tree | affa52ad82065b0a0248dd6c9c3e886aa48574ae | |
| parent | fa0791914bdcbd5b76d43ac15dc283c1e68ca4bc (diff) | |
| download | drakx-3d9e76b6f00c6a46c444e808d29d8caab149ccd7.tar drakx-3d9e76b6f00c6a46c444e808d29d8caab149ccd7.tar.gz drakx-3d9e76b6f00c6a46c444e808d29d8caab149ccd7.tar.bz2 drakx-3d9e76b6f00c6a46c444e808d29d8caab149ccd7.tar.xz drakx-3d9e76b6f00c6a46c444e808d29d8caab149ccd7.zip | |
use Mandriva Linux as distrib name
| -rw-r--r-- | Makefile.config | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Makefile.config b/Makefile.config index 4c372d410..a688c5b9c 100644 --- a/Makefile.config +++ b/Makefile.config @@ -9,9 +9,10 @@ STAGE2_LIVE = $(STAGE2_DEST)/live MAIN_RPMS_DIR = $(ROOTDEST)/media/main MEDIA_INFO_DEST = $(ROOTDEST)/media/media_info -DISTRIB_NAME = Mandriva +_DISTRIB_NAME = Mandriva Linux +DISTRIB_NAME = "$(_DISTRIB_NAME)" DISTRIB_VERSION = 2006 -DISTRIB_DESCR = "$(DISTRIB_NAME) release $(DISTRIB_VERSION)" +DISTRIB_DESCR = "$(_DISTRIB_NAME) release $(DISTRIB_VERSION)" # not config, but useful everywhere :) |