[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Bug-dejagnu] [dejagnu 1.4] Several bugs

From: Rainer Orth
Subject: Re: [Bug-dejagnu] [dejagnu 1.4] Several bugs
Date: Wed, 11 Apr 2001 20:11:52 +0200 (MEST)

> > Yes, and maybe the html too.  I think there's something in the GCS about
> > if/where to install html docs.
>   Arg... I thought the HTML was getting installed. Oh well. Guess I'll
> be working on the packaging code tonight.

Fine.  No need to hurry, though :-)


Rainer Orth, Faculty of Technology, Bielefeld University

Email: address@hidden

reply via email to

[Prev in Thread] Current Thread [Next in Thread]