Exclude generated markdown in .gitignore

omerb4 · May 31, 2018 · f017e10 · f017e10
1 parent 3a72991
commit f017e10
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 3 deletions.
diff --git a/.gitignore b/.gitignore
@@ -33,4 +33,5 @@ out/*
 pom.xml.releaseBackup
 **/pom.xml.releaseBackup
 .classpath
-docs/javadoc
+docs/_site
+docs/guide/EX-*
diff --git a/docs/guide/UserGuide.md b/docs/guide/UserGuide.md
@@ -1,3 +1,3 @@
 The user guide will be developed here.
 
-* [LabeledEdges demo](LabeledEdges)
+* [LabeledEdges demo](EX-LabeledEdges)
diff --git a/etc/expandMarkdown.sh b/etc/expandMarkdown.sh
@@ -9,7 +9,7 @@ shopt -s failglob
 pushd ${TRAVIS_BUILD_DIR}/docs/guide-templates
 
 for file in *.md; do
-    hercule ${file} -o ${TRAVIS_BUILD_DIR}/docs/guide/${file}
+    hercule ${file} -o ${TRAVIS_BUILD_DIR}/docs/guide/EX-${file}
 done
 
 popd