[PLUTO-ildp] manpages: dumped core

[Marco Curreli]

Buona sera a tutti,

mi è rimasto un piccolo dubbio su una frase in wait.2, aggiunta nella
versione 3.54 delle man-pages.

.B CLD_DUMPED
-(child killed by signal, and dumped core);
+(figlio terminato da un segnale, ed eseguito un core dump);

Dopo di che le nuove man-pages sono pronte per essere inviate a
Silvano per la pubblicazione. C'è anche la nuova versione di bash.1,
revisionata da Silvano.

Ciao,
  Marco