The last rev removes the unnecessary commands mentioned in the last two comments.
We need to fix the install path / packaging story within the next couple days, so I'd like to suggest that the TODO can stand until the branch that fixes that..
For reference, the TODO reflects the fact that I don't yet know where we should install this thing.
The last rev removes the unnecessary commands mentioned in the last two comments.
We need to fix the install path / packaging story within the next couple days, so I'd like to suggest that the TODO can stand until the branch that fixes that..
For reference, the TODO reflects the fact that I don't yet know where we should install this thing.