Re: [BUG] Building docs failed

[Bertrand Delacretaz]

Le Jeudi, 2 oct 2003, � 13:45 Europe/Zurich, Carsten Ziegeler a �crit :
...I see three solutions:
a) Revert the restructuring
b) Update the site
c) Do nothing
d) hack changes.html manually to include the new content with the old 
menu?

-Bertrand