File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -124,7 +124,8 @@ DATADIR=$parent/data
124124
125125if [ " $DOWNLOAD " ]; then
126126 echo " Fetching database dump ..."
127- wget -N -P $DATADIR http://www.ietf.org/lib/dt/sprint/ietf_utf8.sql.gz || die " No new data, quitting."
127+ # wget -N -P $DATADIR http://www.ietf.org/lib/dt/sprint/ietf_utf8.sql.gz || die "No new data, quitting."
128+ wget -N -P $DATADIR http://zinfandel.tools.ietf.org/tools/ietf_utf8.sql.gz || die " No new data, quitting."
128129fi
129130
130131echo " Loading database ..."
Original file line number Diff line number Diff line change 1515 {% origin %}
1616 < h1 > Change documents replaced by< br > < small > {{ doc }}</ small > </ h1 >
1717
18+ < h3 > Instructions</ h3 >
19+
20+ < p class ="alert alert-warning "> Do not include < code > -00</ code > and do not include a file extension like < code > .txt</ code > in the document name.</ p >
21+
1822 < form method ="post ">
1923 {% csrf_token %}
2024
You can’t perform that action at this time.
0 commit comments