allow progress points to differ according to the publication mode
tree0c4cfbfe2439a0dd09aa45626d211a13dc18983f
-rw-r--r-- 46 .gitignore
-rw-r--r-- 17987 COPYING
-rw-r--r-- 1487 INSTALL
-rw-r--r-- 7534 README
-rw-r--r-- 785 TODO
-rw-r--r-- 1539 apache-config-objavi2
drwxr-xr-x - bookland
-rw-r--r-- 11658 config.py
-rw-r--r-- 1055 digits.txt
-rw-r--r-- 34663 fmbook.py
-rwxr-xr-x 3332 font-list.cgi.pdf
-rw-r--r-- 13513 libobjavi.qs
-rw-r--r-- 1800 moz-print.js
-rwxr-xr-x 13125 objavi2.py
drwxr-xr-x - pdf
drwxr-xr-x - perl
-rw-r--r-- 199 setup.sh
drwxr-xr-x - static
drwxr-xr-x - templates
-rw-r--r-- 6293 wk_objavi.qs