/@OPTIONS@/ {
    r options.txt.tmp
	d 
}
/@CONTRIBUTORS@/ {
    r contributors.txt.tmp
    d
}