Greg King e31133c804 Added "html" and "info" goals to the top-level Makefile. ...

They are for people who don't want to build both types of documents at the same time.

2017-05-24 18:49:02 -04:00

646 B

Raw Blame History

View Raw