htdocs update : ignore html files with no input aside of them
[docutils.git] / sandbox / infrastructure / 
tree0f4594bf70d3e15ab124b6370278838119374aff
drwxr-xr-x   ..
-rw-r--r-- 99 .fsfsbackup
-rw-r--r-- 2235 README.txt
drwxr-xr-x - attic
drwxr-xr-x - crosstest
-rwxr-xr-x 9766 docutils-update.local
-rw-r--r-- 3686 htmlfiles.lst
-rw-r--r-- 2655 release-test.sh
-rwxr-xr-x 14696 release.sh
-rw-r--r-- 30951 releasing-log.txt
-rwxr-xr-x 2639 set_version.sh
-rwxr-xr-x 8102 version_identifier_parsing.py