Home
last modified time | relevance | path

Searched refs:split_html_db_dir (Results 1 – 1 of 1) sorted by relevance

/external/bison/build-aux/
Dgendocs.sh364 split_html_db_dir=html_node_db
365 opt="$commonarg -o $split_html_db_dir"
370 cd ${split_html_db_dir} || exit 1
376 mv ${split_html_db_dir}/*.html "$outdir/html_node_db/"
377 rmdir ${split_html_db_dir}