a b/docs/create_hippunfold_manual_pdf.sh 

  1
  
#!/bin/bash





  
  

  2
  





  
  

  3
  
set -euox pipefail





  
  

  4
  





  
  

  5
  
git restore ../README.md





  
  

  6
  
tmpfile=`mktemp`





  
  

  7
  
cp ../README.md $tmpfile





  
  

  8
  
tail -n +5 $tmpfile > ../README.md





  
  

  9
  
make latexpdf





  
  

  10
  
cp _build/latex/hippunfold.pdf hippunfold_manual.pdf





  
  

  11
  
git restore ../README.md





  
  

  12