diff options
author | michelou <michelou@epfl.ch> | 2003-11-07 15:08:03 +0000 |
---|---|---|
committer | michelou <michelou@epfl.ch> | 2003-11-07 15:08:03 +0000 |
commit | de0a7b2297d76714e711c99a5edf5f986a0dd4d7 (patch) | |
tree | 5526517d02f95844ec14c7fd08d51dff55709d21 /sources | |
parent | 4bab79034d0056fb9982cbf31491880f961f8b53 (diff) | |
download | scala-de0a7b2297d76714e711c99a5edf5f986a0dd4d7.tar.gz scala-de0a7b2297d76714e711c99a5edf5f986a0dd4d7.tar.bz2 scala-de0a7b2297d76714e711c99a5edf5f986a0dd4d7.zip |
- removed option 'Xshortname'
Diffstat (limited to 'sources')
-rw-r--r-- | sources/scala/tools/scaladoc/HTMLGeneratorCommand.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sources/scala/tools/scaladoc/HTMLGeneratorCommand.java b/sources/scala/tools/scaladoc/HTMLGeneratorCommand.java index 2ea6a03a1a..6319cf0eb6 100644 --- a/sources/scala/tools/scaladoc/HTMLGeneratorCommand.java +++ b/sources/scala/tools/scaladoc/HTMLGeneratorCommand.java @@ -149,6 +149,7 @@ public class HTMLGeneratorCommand extends CompilerCommand { remove(graph); remove(stop); remove(log); + remove(Xshortname); // similar order as javadoc options add(2, windowtitle); |