Hi, > Two patches this time: djgpp.txt is a patch for djgpp, using > "style.css" if "style.css.tmpl" doesn't exist; manual.txt is > the result of a quick proofreading of the manual.in files. > (Both should be applied with -p1.)
I have committed them. I'm really thankful for your fixing the online manuals. -- Shigio YAMAGUCHI <[email protected]> PGP fingerprint: D1CB 0B89 B346 4AB6 5663 C4B6 3CA5 BBB3 57BE DDA3 _______________________________________________ Bug-global mailing list [email protected] http://lists.gnu.org/mailman/listinfo/bug-global
