se ho capito bene vuoi stampare una lista di tutti i produttori
prova così
Codice PHP:
$resource = mysql_query(......)
//codice aggiunto per la lista
echo '<ul>';
while ($row = mysql_fetch_assoc($resource) ) {
echo '[*]' . $row['produttore'] . '';
}
echo '[/list]';
//qui continui con il tuo codice
//...