Change directory name to javadoc
Signed-off-by: Chris Cromer <chris@cromer.cl>
This commit is contained in:
2
.idea/artifacts/Game_jar.xml
generated
2
.idea/artifacts/Game_jar.xml
generated
@@ -5,7 +5,7 @@
|
||||
<element id="module-output" name="Game" />
|
||||
<element id="extracted-dir" path="$PROJECT_DIR$/lib/json-simple-3.1.0.jar" path-in-jar="/" />
|
||||
<element id="directory" name="javadoc">
|
||||
<element id="dir-copy" path="$PROJECT_DIR$/doc" />
|
||||
<element id="dir-copy" path="$PROJECT_DIR$/javadoc" />
|
||||
</element>
|
||||
</root>
|
||||
</artifact>
|
||||
|
||||
1
.idea/misc.xml
generated
1
.idea/misc.xml
generated
@@ -3,6 +3,7 @@
|
||||
<component name="JavadocGenerationManager">
|
||||
<option name="OUTPUT_DIRECTORY" value="$PROJECT_DIR$/doc" />
|
||||
<option name="OPTION_SCOPE" value="private" />
|
||||
<option name="OPEN_IN_BROWSER" value="false" />
|
||||
</component>
|
||||
<component name="ProjectRootManager" version="2" languageLevel="JDK_11" default="true" project-jdk-name="11 OpenJDK" project-jdk-type="JavaSDK">
|
||||
<output url="file://$PROJECT_DIR$/out" />
|
||||
|
||||
Reference in New Issue
Block a user