[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
-----------------------------------------------------------------------------
Rainer Orth, Faculty of Technology, Bielefeld University
Email: address@hidden