html/build/hints/todo

   1 Ulrich Windl <Ulrich.Windl@rz.uni-regensburg.de>:
   2         Any change in a source file in the lib directory causes all files to
   3         be recompiled (because the objects are removed). Add a better rule for
   4         make to update the library. Maybe just remove "-rm -f $?".