initial commit

.ci/build_document.sh

@@ -0,0 +1,13 @@
+set -e
+echo "Building document"
+make pdf
+mkdir public
+mv build/probability_theory.pdf public
+mv build/probability_theory.log public
+cd public/
+if ! command -v tree &> /dev/null
+then
+  echo "No tree utility found, skipping making tree"
+else
+  tree -H '.' -I "index.html" -D --charset utf-8 -T "Probability Theory" > index.html
+fi

.ci/git-info-2.sh

@@ -0,0 +1,31 @@
+#!/bin/sh
+# Copyright 2015 Brent Longborough
+# Part of gitinfo2 package Version 2
+# Release 2.0.7 2015-11-22
+# Please read gitinfo2.pdf for licencing and other details
+# -----------------------------------------------------
+# Post-{commit,checkout,merge} hook for the gitinfo2 package
+#
+# Get the first tag found in the history from the current HEAD
+FIRSTTAG=$(git describe --tags --always --dirty='-*' 2>/dev/null)
+# Get the first tag in history that looks like a Release
+RELTAG=$(git describe --tags --long --always --dirty='-*' --match '[0-9]*.*' 2>/dev/null)
+# Hoover up the metadata
+git -c log.showSignature=false --no-pager log -1 --date=short --decorate=short \
+    --pretty=format:"\usepackage[%
+        shash={%h},
+        lhash={%H},
+        authname={%an},
+        authemail={%ae},
+        authsdate={%ad},
+        authidate={%ai},
+        authudate={%at},
+        commname={%cn},
+        commemail={%ce},
+        commsdate={%cd},
+        commidate={%ci},
+        commudate={%ct},
+        refnames={%d},
+        firsttagdescribe={$FIRSTTAG},
+        reltag={$RELTAG}
+    ]{gitexinfo}" HEAD > .git/gitHeadInfo.gin

.gitignore

@@ -0,0 +1,56 @@
+## Core latex/pdflatex auxiliary files:
+*.aux
+*.lof
+*.log
+*.lot
+*.fls
+*.out
+*.toc
+*.fmt
+*.fot
+*.cb
+*.cb2
+*.loe
+
+## Intermediate documents:
+*.dvi
+*-converted-to.*
+
+## Bibliography auxiliary files (bibtex/biblatex/biber):
+*.bbl
+*.bcf
+*.blg
+*-blx.aux
+*-blx.bib
+*.brf
+*.run.xml
+*.latexmain
+
+## Build tool auxiliary files:
+*.fdb_latexmk
+*.synctex
+*.synctex.gz
+*.synctex.gz(busy)
+*.pdfsync
+*.tdo
+
+##swap files
+*.swp
+*.synctex(busy)
+
+##other help files
+*.idx
+*.ilg
+*.ind
+*.lec
+*.cnt
+
+### main pdf file
+.pdf
+
+## build directory
+build/
+
+## makefiles locks
+.init-submodule-cert
+.init-git-hooks-cert

.gitlab-ci.yml

@@ -0,0 +1,34 @@
+stages:
+  - build
+  - pages
+
+default:
+    tags:
+        - latex
+
+build-document:
+  stage: build
+  script:
+      - .ci/build_document.sh
+  variables:
+      GIT_SUBMODULE_STRATEGY: recursive
+  artifacts:
+    paths:
+        - public/
+  only:
+      - tags
+      - branches
+        #      - merge_requests
+
+
+pages:
+    stage: pages
+    artifacts:
+        paths:
+            - public/
+    script:
+        - echo "Deploying to pages"
+        - test -f public/probability_theory.pdf
+    only:
+        - master
+        - main

.gitmodules

@@ -0,0 +1,3 @@
+[submodule "LatexPackagesBuild"]
+	path = LatexPackagesBuild
+	url = https://gitlab.com/latexci/packages/LatexPackagesBuild.git

.latexmkrc

@@ -0,0 +1,3 @@
+ensure_path('TEXINPUTS', './LatexPackagesBuild//');  # set texinputs to find custom packages
+$pdf_mode = 1;                                       # generate a pdf file by default
+$out_dir = 'build';

LatexPackagesBuild

@@ -0,0 +1 @@
+Subproject commit 400daf229ce74e741aeec00f073230c6e64ee3f8

Makefile

@@ -0,0 +1,31 @@
+pdf: init
+	latexmk
+
+clean:
+	latexmk -c
+
+clean-all:
+	latexmk -C
+	rm -rf build/
+
+## Stuff to set up repository after cloning
+
+init: .init-submodule-cert .init-git-hooks-cert
+
+.init-submodule-cert:
+	@echo "[Make] Initialising git submodule for packages"
+	git submodule update --init --rebase
+	@touch .init-submodule-cert
+
+# Sets up git hooks for gitinfo2 package
+.init-git-hooks-cert:
+	@echo "[Make] Setting up git hooks for package gitinfo2"
+	@mkdir -p .git/hooks
+	@cp .ci/git-info-2.sh .git/hooks/post-merge
+	@cp .ci/git-info-2.sh .git/hooks/post-checkout
+	@cp .ci/git-info-2.sh .git/hooks/post-commit
+	@.ci/git-info-2.sh
+	@touch .init-git-hooks-cert
+
+
+.PHONY: pdf, clean, clean-all

README.md

@@ -0,0 +1,11 @@
+# Probability Theory 
+
+These are the lecture notes for the 'Probability Theory', taught in Summer 2023 at the University of Bonn.
+
+The [latest version][1] is availabe as a pdf download via GitLab runner.
+You can also have a look at the generated [log files][2] or visit the
+[gl pages][3] index directly.
+
+[1]: https://gitlab.com/jrpie-notes/probability-theory/probability_theory.pdf
+[2]: https://gitlab.com/jrpie-notes/probability-theory/probability_theory.log
+[3]: https://gitlab.com/jrpie-notes/probability-theory/

export_texinputs.sh

@@ -0,0 +1 @@
+export TEXINPUTS=LatexPackagesBuild//:

probability_theory.tex

@@ -0,0 +1,18 @@
+\documentclass[10pt,ngerman,a4paper, fancyfoot, git]{mkessler-script}
+
+\course{Probability Theory}
+\lecturer{}
+\author{}
+
+\usepackage{wtheo}
+
+\begin{document}
+
+\maketitle
+\cleardoublepage
+
+\tableofcontents
+\cleardoublepage
+
+
+\end{document}

wtheo.sty

@@ -0,0 +1 @@
+\ProvidesPackage{wtheo}[2022/02/10 - Style file for notes of Probability Theory]