#!/bin/bash
while true; do
  now=$(date +"%Y-%m-%d--%T")
  echo "export contents -- $now"
  ./tex2html.sh
  echo "sleep 15sec for new export"
  sleep 15s
done