PA/RISC vs PA-RISC

[barbier@linuxfr.org (Denis Barbier)]

Hi,

Thomas Marteau pointed out that install manual refers to PA/RISC whereas
official HP denomination is PA-RISC, as written on
    http://www.debian.org/ports/hppa/

Denis


-- 
To UNSUBSCRIBE, email to debian-boot-request@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org