diff --git a/docs/home.html b/docs/home.html index fccf97cd1..14c06c487 100644 --- a/docs/home.html +++ b/docs/home.html @@ -140,7 +140,7 @@
$ - echo "trusty utopic vivid wily xenial yakkety zesty artful bionic" | grep -q "$OS_ID" || OS_ID="trusty" + echo "utopicvividwilyxenialyakketyzestyartfulbionic" | grep -q "$OS_ID" || OS_ID="trusty"