diff options
Diffstat (limited to 'eclipse')
| -rw-r--r-- | eclipse/Makefile | 1 | ||||
| -rw-r--r-- | eclipse/index.html | 1 |
2 files changed, 2 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 diff --git a/eclipse/index.html b/eclipse/index.html index fb37736f2..f7f685d95 100644 --- a/eclipse/index.html +++ b/eclipse/index.html @@ -5,6 +5,7 @@ <link rel="stylesheet" type="text/css" href="http://www.grammaticalframework.org/css/style.css"> +<meta name = "viewport" content = "width = device-width"> </head> <body> |