[tldistro] manual page meta-information in tlpdb?

[Edd Barrett]

On Sat, Oct 19, 2013 at 07:54:19PM +0900, Norbert Preining wrote:
> On Sa, 19 Okt 2013, Edd Barrett wrote:
> > make :)
> 
> Which means shell. Do you parse the tlpdb with some functions
> in bash?

The actual parsing is done with a Python script. This just generates
packing lists which serve as a basis for packaging within our ports
tree. Thinking about it, I could easily add the manual page detection to
the Python script, yes.

https://github.com/vext01/texscythe

-- 
Best Regards
Edd Barrett

http://www.theunixzoo.co.uk