summaryrefslogtreecommitdiff
path: root/eclipse/Makefile
diff options
context:
space:
mode:
authorjohn.j.camilleri <john.j.camilleri@chalmers.se>2012-04-04 08:00:56 +0000
committerjohn.j.camilleri <john.j.camilleri@chalmers.se>2012-04-04 08:00:56 +0000
commit57e927df9194a342c8fefa5846fe8540c9163f6b (patch)
tree34c2742b6269e5e209b0901637821af7c9ceb2db /eclipse/Makefile
parenta4a154e5e24728d722457eb9f4d75cdf7b463efb (diff)
GFEP: updated readme
Diffstat (limited to 'eclipse/Makefile')
-rw-r--r--eclipse/Makefile10
1 files changed, 10 insertions, 0 deletions
diff --git a/eclipse/Makefile b/eclipse/Makefile
new file mode 100644
index 000000000..2d8bf2318
--- /dev/null
+++ b/eclipse/Makefile
@@ -0,0 +1,10 @@
+html:
+ php ~/markdown-convert.php https://raw.github.com/GrammaticalFramework/gf-eclipse-plugin/master/README.md index.html
+
+local:
+ echo "<html>\n<head>\n" > index.html
+ echo "<title>GF Eclipse Plugin</title>\n" >> index.html
+ echo "<link rel=\"stylesheet\" type=\"text/css\" href=\"http://www.grammaticalframework.org/css/style.css\">\n" >> index.html
+ echo "</head>\n<body>\n" >> index.html
+ php ~/markdown-convert.php ~/repositories/gf-eclipse-plugin/README.md index.html --append
+ echo "</body>\n</html>" >> index.html