Angus Leeming writes: | Whatever. It really doesn't matter what we call "master" does it, so long | as each repository (www-user and lyx-devel) has an appropriate copy of the | data?
I think it matters.
I'm a little baffled as to *why* you think it matters. Let me try and recap the situation so that I can perhaps see why you think its important.
www-user has
about/blanket-permission.php
about/credits.phplyx-devel should have
lib/blanket-permission.txt
lib/CREDITSThe two credits and the two blanket files contain the same information but in different formats. Actually, the .php files currently contain more information because they contain links (to all mails in the mail archive for example).
It makes sense to have a single "master" repository of the information in the blanket and in the credits files and to use a script to generate the "slave".
I think we both agree with everything up to this point, right?
Given that the .php files currently contain more info, I created a script to create the equivalent .txt files. Ie, the "master" here is blanket-permission.php file and the "slave" is blanket-permission.txt.
You'd like the "master" to be blanket-permission.txt and to be able to create the "slave" blanket-permission.php. Ditto for the credits files. Fine. Be my guest. But before you do so, please have a look at the .php files. Maintaining them is a piece of cake because all formatting is generated separately from the storage of the data.
Don't you think you could do something more useful with your time?
Angus
