diff options
Diffstat (limited to 'html/hints/todo')
| -rw-r--r-- | html/hints/todo | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/html/hints/todo b/html/hints/todo new file mode 100644 index 0000000..e0e5ffa --- /dev/null +++ b/html/hints/todo @@ -0,0 +1,4 @@ +Ulrich Windl <Ulrich.Windl@rz.uni-regensburg.de>: + Any change in a source file in the lib directory causes all files to + be recompiled (because the objects are removed). Add a better rule for + make to update the library. Maybe just remove "-rm -f $?". |