diff options
| author | hallgren <hallgren@chalmers.se> | 2012-11-27 14:11:47 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-11-27 14:11:47 +0000 |
| commit | 78216222f170cfddeeddb59b0ea942f8ea7f9162 (patch) | |
| tree | 448d0a2da52a46110bfe723f5c3a9acf8d125a2d /src/www/minibar | |
| parent | 59b9676fd1b85500b7a66e957542af6dea66c53e (diff) | |
some documentation updates and fixes
doc/Makefile: add a rule to regenerate gf-help-full.txt
gf-help-full.txt: updated (new parse tree visualization options)
demo & cloud index: clarifications
minibar documentation: better layout on mobile devices
GF 3.4 release notes: reorganized & updated
Diffstat (limited to 'src/www/minibar')
| -rw-r--r-- | src/www/minibar/about.html | 3 | ||||
| -rw-r--r-- | src/www/minibar/minibar-api.html | 3 |
2 files changed, 4 insertions, 2 deletions
diff --git a/src/www/minibar/about.html b/src/www/minibar/about.html index 9ba25895c..7afa1728e 100644 --- a/src/www/minibar/about.html +++ b/src/www/minibar/about.html @@ -3,6 +3,7 @@ <title>About Minibar</title> <link rel=stylesheet type="text/css" href="minibar.css"> <meta charset="UTF-8"> +<meta name = "viewport" content = "width = device-width"> <style> :target .summary { font-weight: bold; background: white; } </style> @@ -217,7 +218,7 @@ Some implementation details: <hr> <div class=modtime><small> -<!-- hhmts start -->Last modified: Tue Nov 20 13:41:21 CET 2012 <!-- hhmts end --> +<!-- hhmts start -->Last modified: Tue Nov 27 15:02:49 CET 2012 <!-- hhmts end --> </small></div> <address> <a href="http://www.cse.chalmers.se/~hallgren/">TH</a> diff --git a/src/www/minibar/minibar-api.html b/src/www/minibar/minibar-api.html index 505c5155a..b79e41c56 100644 --- a/src/www/minibar/minibar-api.html +++ b/src/www/minibar/minibar-api.html @@ -3,6 +3,7 @@ <head> <title>GF web services API examples</title> <meta charset="UTF-8"> +<meta name = "viewport" content = "width = device-width"> <style type="text/css"> body { background: #eee; } @@ -249,7 +250,7 @@ the user interface: <hr> <div class=modtime> <small class=modtime> -HTML <!-- hhmts start -->Last modified: Tue Nov 20 13:44:11 CET 2012 <!-- hhmts end --> +HTML <!-- hhmts start -->Last modified: Tue Nov 27 15:03:15 CET 2012 <!-- hhmts end --> </small> </div> |