Skip to content
Snippets Groups Projects
Select Git revision
  • 6663aa330cb9e375bb2842c6e09dfbf964ba580b
  • tardis default
  • online-lip-2020
  • ss18
  • ws18
  • master protected
  • ws17
  • ss17
  • ws16
  • ss16
  • ws15 protected
  • ss15 protected
  • ws14 protected
  • buildhauer protected
  • ss14 protected
15 results

make_doku_part.sh

Blame
    • user avatar
    Dokumentations update
    Daniel Schulte authored
    6663aa33
    History
    user avatar 6663aa33
    History
    Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    make_doku_part.sh 85 B
    1
    2
    3
    4
    5
    6
    7
    8
    9 
    

    

    

    #!/bin/bash

set -e

cat HEADER.tex $@ FOOTER.tex > tmp.tex
pdflatex tmp.tex

exit 0