My github.io homepage

Introduction

This repository sets up my github.io site.

No significant setup is required; by simply naming the repository github-user-name.github.io, and uploading an index.html, I have an easy to use website, maintained by committing to this repo.

Maintaining Git subtrees

The git subtree for org-html-themes was added via the following shell command.

git subtree add --prefix org-html-themes https://github.com/fniessen/org-html-themes master --squash

It can be updated via these commands.

git subtree pull --prefix org-html-themes https://github.com/fniessen/org-html-themes master --squash

The gitignore file

*~

*.agdai
*.tex
*_minted*