prune olddoc dir
prune olddoc dir

myhdl/myhdl,hgomersall/myhdl,palashahuja/myhdl,josyb/myhdl,palashahuja/myhdl,jck/myhdl,gw0/myhdl,palashahuja/myhdl,jck/myhdl,josyb/myhdl,j-marjanovic/myhdl,j-marjanovic/myhdl,juhasch/myhdl,jck/myhdl,gw0/myhdl,myhdl/myhdl,jmgc/myhdl-numeric,jmgc/myhdl-numeric,jandecaluwe/myhdl,hgomersall/myhdl,josyb/myhdl,juhasch/myhdl,palashahuja/myhdl,juhasch/myhdl,j-marjanovic/myhdl,jmgc/myhdl-numeric,cfelton/myhdl,jandecaluwe/myhdl,gw0/myhdl,myhdl/myhdl,cfelton/myhdl,jandecaluwe/myhdl,cfelton/myhdl,hgomersall/myhdl