[be] [task #8497] Resources: Editor/Converter: which files to convert

[Teus Benschop]

Update of task #8497 (project bibledit):

                  Status:             In Progress => Need Info              

    _______________________________________________________

Follow-up Comment #1:

There is a problem when working on all files at once.

The problem can be seen in Resources that consist of various auxiliary files.
We have the main files, these end on .html. Then we can have .ini files, .css
files, and other .html files that are not to be converted.

Any solutions to this problem?



    _______________________________________________________

Reply to this item at:

  <http://savannah.nongnu.org/task/?8497>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.nongnu.org/