(DVI_TARGETS): Add woman.dvi. (../info/woman, woman.dvi): New targets.
Attach a file by drag & drop or click to upload
