diff options
Diffstat (limited to 'eclipse/Makefile')
| -rw-r--r-- | eclipse/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/eclipse/Makefile b/eclipse/Makefile index 2d8bf2318..878a488c6 100644 --- a/eclipse/Makefile +++ b/eclipse/Makefile @@ -5,6 +5,7 @@ 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 |