Skip to content
Snippets Groups Projects
Select Git revision
  • b6ebc494a27e81ac7ce752e8f9fe181f812a5e34
  • master default protected
2 results

thumbnail.c

Blame
    • 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