Notice: We have migrated to GitLab launching 2024-05-01 see here:

#391 closed defect (fixed)

doc tree does not remove *info* during distclean

Reported by: Joel Sherrill Owned by: Ralf Corsepius
Priority: normal Milestone: 2
Component: build Version: 4.5
Severity: major Keywords:
Cc: bugs@… Blocked By:


Build the documentation in the tree and do a make clean
or a make distclean. At least the info files stay

RTEMS-4.5 and head

Change History (1)

comment:1 Changed on 04/29/03 at 09:33:03 by Ralf Corsepius

Status: assignedclosed

State-Changed-From-To: open->closed
State-Changed-Why: Fixed - Patch applied.

WARNING: If updating cvs checked out trees,
cd doc; autoreconf -i -f
required !!!!

Note: See TracTickets for help on using tickets.