Commit Graph
98 Commits
Author SHA1 Message Date
John J. Camilleri f32d222e71 Update links to Haskell docs on homepage 2019-01-10 08:58:34 +01:00
John J. Camilleri a7b10ea936 Change refs from RGL's Make.* to Setup.* in dev guide 2018-12-22 13:59:32 +01:00
John J. Camilleri 4bda53acb7 Update PGF API link to point to 3.9, as 3.10 has no docs on Hackage 2018-12-18 22:14:32 +01:00
John J. Camilleri 083aa96e57 TOC for Markdown should now work for both Pandoc < 2.0 and >= 2.0
The use of $toc$ and $table-of-contents$ flags changed, see:
https://pandoc.org/releases.html#pandoc-2.0-29-oct-2017
under "Behaviour changes"
2018-12-10 14:25:44 +01:00
John J. Camilleri d82a53ebc6 Replace gf-refman.html with Markdown version gf-refman.md
The raw HTML was invalid, and this way we use the common website template
for a uniform look without any duplication.

It seems gf-refman.html was once generated from txt2tags, although I have
been unable to find this original .t2t file.
I also tried to re-generate txt2tags from HTML but was not able to.
However I was able to convert HTML to Markdown using Pandoc and I think
the result is pretty good, so I think we should use this.

The original gf-refman.html can be obtained from git history, e.g.:
https://github.com/GrammaticalFramework/gf-core/blob/a7e43d872f5e612f93131f2d8caf811fbee9aa83/doc/gf-refman.html
2018-12-09 20:38:02 +01:00
John J. Camilleri 5006b520d1 Area under footer is all gray even on short pages 2018-12-08 14:29:43 +01:00
John J. Camilleri f78dfe80a2 Update doc/index page 2018-12-08 14:29:02 +01:00
John J. Camilleri 44ac326da0 Regnerate HTML if template changes 2018-12-08 13:57:04 +01:00
John J. Camilleri a8b23d52a8 Fix some invalid HTML. 2018-12-08 13:47:27 +01:00
John J. Camilleri d880a61857 Add some documentation to update_html 2018-12-06 13:47:50 +01:00
John J. Camilleri 7bd086ba19 Case-insensitve sed replacements handled the dumb way
Because BSD sed != GNU sed
2018-12-06 10:18:31 +01:00
John J. Camilleri ff0fe0a6c5 Add reference to DG in homepage footer. Spacing in top links. 2018-12-06 09:30:49 +01:00
John J. Camilleri ef4df27d1b Add link to open #gf in web chat 2018-12-06 09:13:52 +01:00
John J. Camilleri e9e2bd6b89 Fix linking to chapters in gf-tutorial; Remove reference to Htmls. 2018-12-06 09:00:44 +01:00
John J. Camilleri 72a9eb0c8a Another fake change to trigger rebuild of gf-tutorial 2018-12-05 18:14:17 +01:00
John J. Camilleri b73f033b08 Rewrite <a name=...> to <div id=...> to preserve page anchors in Pandoc 2018-12-05 16:11:33 +01:00
John J. Camilleri b974c09951 Update runtime-api.html to match the new visual look of the GF website 2018-12-05 15:48:07 +01:00
John J. Camilleri 159b6ee331 Fake change to trigger rebuild of gf-tutorial 2018-12-05 11:41:41 +01:00
John J. Camilleri 3dec78c21c Clarifications on download page: binary packages include RGL 2018-12-05 08:30:25 +01:00
John J. Camilleri 6ad9bf3dbf Add Stack files for different GHC versions 2018-12-04 10:32:26 +01:00
John J. Camilleri ee5ac81dfc Make GF compile with GHC 8.6.2
- Re-implement `Distribution.Simple.BuildPaths.exeExtension`
- Turn off `MonadFailDesugaring`

Tested with GHC:

- 7.10.3
- 8.0.2
- 8.2.2
- 8.4.3
- 8.6.2

Yay Stack!
2018-12-04 10:31:53 +01:00
John J. Camilleri b509d08cbf Add Travis build images to release notes 2018-12-03 15:47:45 +01:00
John J. Camilleri fd0ee2756a Indent nested lists in Markdown by 4 spaces instead of 2 2018-12-03 15:44:44 +01:00
John J. Camilleri 34e89ac710 Put GF logo on the right again 2018-12-03 15:27:55 +01:00
John J. Camilleri 331d73b566 Update release notes RGL section (not much) 2018-12-03 15:25:05 +01:00
John J. Camilleri 8d460ac402 Update 3.10 release notes after going through all gf-core commits since 2017-08-11 2018-12-03 15:04:21 +01:00
John J. Camilleri 5546c6d6da Update clean_html to handle markdown sources too 2018-12-03 10:49:37 +01:00
John J. Camilleri c380288db8 Put floating logo on left 2018-12-03 10:49:15 +01:00
John J. Camilleri 5c518de0f2 Updates to download page for 3.10 2018-12-01 19:52:33 +01:00
John J. Camilleri 01f61c526f Custom CSS comes after libraries; add include-before/after (not actively used) 2018-11-29 13:06:52 +01:00
John J. Camilleri 538fe5bddb Don't wrap dates on hompage 2018-11-29 13:00:26 +01:00
John J. Camilleri f4052c8a5e Add basic favicon.ico 2018-11-29 10:46:33 +01:00
John J. Camilleri e0a3b0030e Remove some t2t frontmatter from shell-reference, to trigger update 2018-11-29 10:45:54 +01:00
John J. Camilleri b30456aa0c Rename _template.html to template.html 2018-11-29 10:35:43 +01:00
John J. Camilleri 61c58316ea Remove overflow-x:scroll from title 2018-11-29 10:16:32 +01:00
John J. Camilleri 001d036a2c Remove t2t frontmatter from gf-editor-modes
Trying to force a rebuild
2018-11-29 09:55:28 +01:00
John J. Camilleri 83abaa9b44 Put 3.9 page instead of 3.10 until release is final 2018-11-28 15:52:20 +01:00
John J. Camilleri c7a14537c1 Update top links and footer during hackathon 2018-11-28 15:42:11 +01:00
John J. Camilleri 6352799ccb Merge branch 'master' into new-website
# Conflicts:
#	index.html
2018-11-28 14:47:20 +01:00
John J. Camilleri a45c735545 Update LICENSE 2018-11-28 14:40:36 +01:00
John J. Camilleri 9b28d21b0a Remove Htmls.hs 2018-11-28 13:48:40 +01:00
John J. Camilleri 507236fdcd remove gf-server.cabal 2018-11-28 13:40:16 +01:00
John J. Camilleri 397f18a298 remove custom-binary flag; update Cabal version restriction; bump version to 3.10 2018-11-28 13:36:11 +01:00
John J. Camilleri 735f5ff76f Remove src/ui folder, moved to:
https://github.com/GrammaticalFramework/gf-offline-translator
2018-11-15 10:33:31 +01:00
John J. Camilleri cb0e919bf5 Link to new synopsis page 2018-11-13 21:22:54 +01:00
John J. Camilleri d1a435ad9d Remove unnecessary CSS from template 2018-11-09 09:08:59 +01:00
John J. Camilleri 69ba677136 Add 3 top buttons, responsive columns 2018-11-09 08:40:06 +01:00
John J. Camilleri 406eec6690 GF logo links to home; remove "other demos" 2018-11-08 22:52:08 +01:00
John J. Camilleri 2f1ee094d2 Add download/index.md as demo of working Markdown rendering to HTML
Archive 3.9 pages and mark current ones for 18-12
2018-11-08 22:46:30 +01:00
John J. Camilleri 422248f11f Move unused pgf-binary into its own repository, at:
https://github.com/GrammaticalFramework/pgf-binary
2018-11-07 10:07:20 +01:00
John J. Camilleri d46682bc29 Clean up stack file
Removed alex/happy as build-deps, if needed they can be installed with
`stack install alex happy`
2018-11-07 09:57:45 +01:00
John J. Camilleri 4958aab518 Add happy and alex as deps in Stack file 2018-11-05 09:59:06 +01:00
John J. Camilleri 390a6a04a1 New update_html runx txt2tags followed by pandoc
TODO: handle txt2tags macros in date, e.g.
`%%mtime(%F)` in download/encoding-change.t2t
2018-11-04 21:17:20 +01:00
John J. Camilleri 37e0754cf0 Fix encoding on tutorial 2018-11-04 21:12:32 +01:00
John J. Camilleri a7b2f77227 Cleanup links in homepage and footer 2018-11-04 21:12:10 +01:00
John J. Camilleri 9a7862ea9e Links in footer 2018-11-04 19:58:18 +01:00
John J. Camilleri 914d54255f Comments in update_html script 2018-11-04 19:29:56 +01:00
John J. Camilleri aea8548930 update_html also takes individual arguments 2018-11-04 19:27:14 +01:00
John J. Camilleri 99dad48961 Use Pandoc instead of txt2tags binary, much more configurable 2018-11-04 15:11:35 +01:00
John J. Camilleri 0b4d9cbea1 Add note about using Stack in download/index 2018-11-03 14:34:26 +01:00
John J. Camilleri 1010b9e49a Add stack file, using image for GHC 8.2.2 2018-11-03 14:28:31 +01:00
John J. Camilleri f7dc9a6eaf Merge branch 'master' into new-website 2018-11-02 14:07:00 +01:00
John J. Camilleri 777028dcd8 Remove doc/tutorial/gf-tutorial.html from version control
Checked that the t2t is still valid and html should be automatically
generated. Although there is some encoding issue with this file?
2018-10-31 15:57:21 +01:00
John J. Camilleri 7867c8c828 pre and post HTML templates for all txt2tags conversions
Remaining: cleaning of t2t files (remove unnecessary options)
2018-10-31 15:47:12 +01:00
John J. Camilleri 632cd1e522 Refresh home page using basic Bootstrap 2018-10-31 14:13:05 +01:00
John J. Camilleri 4387b1bea0 Add more phony's to Makefile 2018-10-31 13:14:06 +01:00
John J. Camilleri 8df3b458d4 cabal sdist doesn't throw an error anymore
This was making it impossible to install gf as external source in cabal sandbox
2018-10-15 21:05:55 +02:00
John J. Camilleri f1803a2f16 Small fixes to gf-developers document 2018-08-12 21:30:11 +02:00
John J. Camilleri 35304c8577 Remove Travis build status from homepage 2018-08-08 22:33:20 +02:00
John J. Camilleri 3b7aaaf9f4 Add news item to homepage about repo split 2018-08-08 09:08:50 +02:00
John J. Camilleri dfb3914881 Update README 2018-07-26 21:42:06 +02:00
John J. Camilleri 636a8142b4 Minimal update with new repo URLs & build instructions 2018-07-26 01:37:03 +02:00
John J. Camilleri 59e66adb35 Fixes for buildWeb 2018-07-26 00:51:13 +02:00
John J. Camilleri e1dd7bfdf5 [GF Split] Post-split updates 2018-07-25 19:55:11 +02:00
John J. Camilleri cd1942a845 WebSetup: fail silently when example grammars don't build
Also used installed RGL not built
2018-07-19 12:36:39 +02:00
John J. Camilleri f9331526d1 More cleanup in Setup and WebSetup 2018-07-05 15:22:05 +02:00
John J. Camilleri 8b5532c1e9 Relax dependency on directory package for Setup
Since `listDirectory` is no longer used (852a49920)
2018-07-05 14:21:05 +02:00
John J. Camilleri 0ef7fb8b0f Cleanup in Setup.hs; include custom-setup:setup-depends in cabal file. 2018-07-05 12:23:02 +02:00
John J. Camilleri 992af4ab97 Clean up imports in Setup.hs
Really just for my own understanding
2018-07-05 10:32:40 +02:00
John J. Camilleri af82dc9fc6 Fix make sdist to use git archive instead of darcs dist 2018-07-04 14:28:25 +02:00
John J. Camilleri a6b1db71cd Remove more remnants from the darcs days 2018-07-04 14:21:44 +02:00
John J. Camilleri 40cc58d6c1 Replace Distribution.Simple.Utils.noticeNoWrap with putStr
Effect is the same and I don't want to upset the package dependencies
2018-07-04 14:00:56 +02:00
John J. Camilleri b9b0217160 Remove code which tries to get version information from darcs folder 2018-07-04 13:40:46 +02:00
John J. Camilleri c6f4edaea5 Remove examples directory; these now live in gf-contrib
All changes have been reflected in the gf-contrib repository:
https://github.com/GrammaticalFramework/gf-contrib

Now, for WebSetup to build the example grammars, one must have gf-contrib
cloned in the same top-level directory as GF. When this isn't the case,
WebSetup displays a notice without failing.
2018-07-04 10:09:58 +02:00
John J. Camilleri 485938103c Remove wide coverage translator
It had now been migrated to a new repository:
https://github.com/GrammaticalFramework/wide-coverage
2018-06-20 10:06:22 +02:00
John J. Camilleri 6ce57c0505 Homepage minors
- add Travis build status icon
- make Github link point to org rather than repo
2018-06-20 09:55:53 +02:00
John J. Camilleri 71c7fbc7f9 Remove oldstyle.css 2018-06-14 10:11:11 +02:00
John J. Camilleri f0c5d53e78 Remove editor mode files from Haskell package (in gf.cabal) 2018-06-13 10:18:25 +02:00
John J. Camilleri 4ca52bf763 Add TypeScript type definitions for gflib.js 2018-06-13 09:52:20 +02:00
John J. Camilleri 22b754d23b Clean up old download pages 2018-06-13 08:47:33 +02:00
John J. Camilleri 5aa2a212bb Remove HTML files from VC which should be generated from txt2tags
If these pages disappear from the web via www.grammaticalframework.org
then this commit may need to be reversed
2018-06-12 15:53:58 +02:00
John J. Camilleri 27b49e0a8b Remove /framenet redirect for the sake of cleaning things up 2018-06-12 15:43:28 +02:00
John J. Camilleri d0ce46722b Minor cleanup in webpages 2018-06-12 15:41:05 +02:00
John J. Camilleri e969948a47 Remove .authorspellings (it was a darcs relic and now useless) 2018-06-11 22:10:32 +02:00
John J. Camilleri ffb74b2f3d Merge branch 'master' of github.com:GrammaticalFramework/GF 2018-06-09 20:44:24 +02:00
John J. Camilleri 41af91f697 Update info about path to jni.h in Java binding install notes 2018-05-21 09:14:26 +02:00
John J. Camilleri ba4057b214 Missing -I in Java bindings Makefile 2018-05-21 09:10:19 +02:00
John J. Camilleri 260d5251da Markdownise README and add Travis build icon 2018-05-03 10:49:05 +02:00