vallettaventures

#!/bin/bash

#
# Script to reproduce an issue with pdftex
# 
# The issue occurs when
#   - you are using the -output-folder option
#   - you input some subfile without extension
#   - a folder with that subfile name appears in that output folder
#