Così che fa?
Codice PHP:
<select type="text" id="tipo" name="tipo" value="" />
<?php 
    $query 
= ("SELECT DISTINCT type_doc FROM ".DB_PREFIX."docs");
    
$result mysqli_query($db$query);
    if (
$result == false
    {
        
mysql_errno();    
        echo 
"<option value=''></option>";
    }
    else
    {
        while(
$row mysqli_fetch_array($resultMYSQLI_ASSOC))
        {
?>
        <option value="<?php echo $row['type_doc'?>"><b><?php echo $row["type_doc"?></b></option>";
<?php
        
}
    }
?>
</select>