2 lines
34 B
PHP
2 lines
34 B
PHP
|
info_TEXINFOS += %D%/porting.texi
|
|
info_TEXINFOS += %D%/porting.texi
|