search

hmemcpy / milewski-ctfp-pdf

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/
Other
11k stars 592 forks source link

[WIP] Dockerfile #117

Closed bbarker closed 6 years ago

bbarker commented 6 years ago

Hi there,

I'm trying to get a dockerfile for building, but have encountered numerous issues. Unfortunately, I was never great at LaTeX and it has been a few years since I last used it. When I run make, there seem to be several issues popping up related to things already being defined (depending on which base image is used, the things already defined seem different).

In the current state, we have:


!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!
! LaTeX error: "kernel/command-already-defined"
! 
! Control sequence \not= already defined.
! 
! See the LaTeX3 documentation for further information.
! 
! For immediate help type H <return>.
!...............................................  

l.3853 \NewNegationCommand { = }    { \neq   }
hmemcpy commented 6 years ago

Hello, I'm happy to announce that there's now a nix script that builds the PDF correctly on travis! Please see shell.nix in the root of the project. I'm closing this.