#!/bin/sh

#
# Webseite basteln
#

/usr/bin/gawk -f header.awk 
export ADDDIR="rfc/"
/usr/bin/gawk -f parse.awk < rfc.bib 
export ADDDIR="ietf/"
/usr/bin/gawk -f parse.awk < ietf.bib 
export ADDDIR="notietf/"
/usr/bin/gawk -f parse.awk < notietf.bib 
/usr/bin/gawk -f tail.awk  
#/usr/local/bin/gawk -f parse.awk < rfc.bib