From 625430fa9c8515e3008e068f3f3927f368893004 Mon Sep 17 00:00:00 2001 From: "john.j.camilleri" Date: Thu, 10 Jan 2013 16:19:27 +0000 Subject: GFEP: remove doc makefile, updated index.html --- eclipse/Makefile | 11 ----------- 1 file changed, 11 deletions(-) delete mode 100644 eclipse/Makefile (limited to 'eclipse/Makefile') diff --git a/eclipse/Makefile b/eclipse/Makefile deleted file mode 100644 index 878a488c6..000000000 --- a/eclipse/Makefile +++ /dev/null @@ -1,11 +0,0 @@ -html: - php ~/markdown-convert.php https://raw.github.com/GrammaticalFramework/gf-eclipse-plugin/master/README.md index.html - -local: - echo "\n\n" > index.html - echo "GF Eclipse Plugin\n" >> index.html - echo "\n" >> index.html - echo '' >>index.html - echo "\n\n" >> index.html - php ~/markdown-convert.php ~/repositories/gf-eclipse-plugin/README.md index.html --append - echo "\n" >> index.html -- cgit v1.2.3