diff options
Diffstat (limited to 'eclipse/Makefile')
| -rw-r--r-- | eclipse/Makefile | 11 |
1 files changed, 0 insertions, 11 deletions
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 "<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 '<meta name = "viewport" content = "width = device-width">' >>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 |