ucsd-progsys / cse130-web

Web page for CSE 130

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

130-web

Public course materials for UCSD CSE 130

Install

You too, can build this webpage locally, like so:

$ git clone git@github.com:nadia-polikarpova/cse130-sp18.git
$ cd cse130-sp18
$ make

To then update the webpage after editing stuff, do:

$ make upload

The website will live in _site/.

Customize

By editing the parameters in siteCtx in Site.hs

View

You can view it by running

make server

Update

Either do

make upload

or, if you prefer

make
cp -r _site/* docs/
git commit -a -m "update webpage"
git push origin master

Credits

This theme is a fork of CleanMagicMedium-Jekyll originally published by Lucas Gatsas.

About

Web page for CSE 130

License:MIT License


Languages

Language:OCaml 43.9%Language:JavaScript 19.6%Language:HTML 16.1%Language:CSS 13.2%Language:Prolog 4.8%Language:Haskell 1.5%Language:Makefile 0.7%Language:Shell 0.1%Language:Standard ML 0.1%