diff --git a/doc/PreemptRt.md b/doc/PreemptRt.md
index 130eb9e..ed3f058 100644
--- a/doc/PreemptRt.md
+++ b/doc/PreemptRt.md
@@ -250,7 +250,7 @@ Now it is time to build the kernel:
   ```shell
   $ make clean # Optional to remove old relicts (from previously failed compilations)
   # The following command might take very long!
-  $ sudo make -j$(nproc) deb-pkg
+  $ sudo make -j$(nproc) bindeb-pkg
   ```
   
   where the [`revision` parameter is just for keeping track of the version number of your kernel builds](https://www.debian.org/releases/wheezy/amd64/ch08s06.html.en) and can be changed at will, similarly for the `custom` word.
diff --git a/src/lib_compile_kernel.sh b/src/lib_compile_kernel.sh
index 6c69b50..472b41b 100755
--- a/src/lib_compile_kernel.sh
+++ b/src/lib_compile_kernel.sh
@@ -219,7 +219,7 @@ function select_installation_mode() {
 
 function generate_preemptrt_kernel_debian_package() {
   declare desc="Generate Debian package for easier installation and uninstallation"
-  sudo make -j$(nproc) deb-pkg
+  sudo make -j$(nproc) bindeb-pkg
 }
 
 function select_install_now() {