X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Foutput%2Fhtml.at;h=973ba08433ec22e0d6987f6f9f634fadac7f555c;hb=69597a0423aad2fd5974c2cbc08a680208b94b6e;hp=91eb44d4bae2eea8eaaae8db7964807f51876e06;hpb=691a034d7f2139076fa012739dffd40ef5db4a9b;p=pspp

diff --git a/tests/output/html.at b/tests/output/html.at
index 91eb44d4ba..973ba08433 100644
--- a/tests/output/html.at
+++ b/tests/output/html.at
@@ -13,7 +13,8 @@ dnl GNU General Public License for more details.
 dnl 
 dnl You should have received a copy of the GNU General Public License
 dnl along with this program.  If not, see <http://www.gnu.org/licenses/>.
-dnl AT_BANNER([HTML driver])
+dnl
+AT_BANNER([HTML driver])
 
 AT_SETUP([HTML bug])