Lo he buscado todo por Internet, el índice de FAQs del foro (que ya había leído), el apartado de sistemas de PHP del foro también y muchas páginas de Internet que lo explican, pero no me sale. Estoy empezando a pensar que esto no es para mí.
He puesto:
Código PHP:
function tipos($nombre_del_select){
$registro = mysql_query("Select Marca from maniobras", $conexion);
?>
<select name='Fabricante' id='Fabricante'>
<?
while($fila=mysql_fetch_array($registro)){
echo '<option value="'.$fila["Marca"]. '">'.$fila["Marca"] . '</option>';
}?>
</select>
<?php
}
Muchas gracias.