-
These options have been dropped from configure a while ago, so they should no longer be in the docs either. Bug 605190.
0824862e
These options have been dropped from configure a while ago, so they should no longer be in the docs either. Bug 605190.