File get_release_number.sh of Package kernel-docs

#! /bin/sh

echo "pkg:kernel-dummy"