diff options
| author | john.j.camilleri <john.j.camilleri@chalmers.se> | 2013-01-10 16:19:27 +0000 |
|---|---|---|
| committer | john.j.camilleri <john.j.camilleri@chalmers.se> | 2013-01-10 16:19:27 +0000 |
| commit | 625430fa9c8515e3008e068f3f3927f368893004 (patch) | |
| tree | f10c1fc272a9a9e4156e3a81a1af2b4ceed8ad53 /eclipse/Makefile | |
| parent | fb644d57b7532118812e1dd3dab6d9260bcd30b3 (diff) | |
GFEP: remove doc makefile, updated index.html
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 |