From 494b98e46ae8231676681c554315d67a090f60a5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Antonio=20Ni=C3=B1o=20D=C3=ADaz?= Date: Wed, 24 Jan 2018 20:28:41 +0000 Subject: [PATCH] Fix html doc file name MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Antonio Niño Díaz --- Makefile | 2 +- docs/{gbds.7.html => rgbds.7.html} | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename docs/{gbds.7.html => rgbds.7.html} (100%) diff --git a/Makefile b/Makefile index d621e067..890e8c12 100644 --- a/Makefile +++ b/Makefile @@ -169,7 +169,7 @@ checkpatch: MANDOC := -Thtml -Ios=General -Oman=%N.%S.html -Ostyle=manual.css wwwman: - $Qmandoc ${MANDOC} src/rgbds.7 > docs/gbds.7.html + $Qmandoc ${MANDOC} src/rgbds.7 > docs/rgbds.7.html $Qmandoc ${MANDOC} src/gbz80.7 > docs/gbz80.7.html $Qmandoc ${MANDOC} src/rgbds.5 > docs/rgbds.5.html $Qmandoc ${MANDOC} src/asm/rgbasm.1 > docs/rgbasm.1.html diff --git a/docs/gbds.7.html b/docs/rgbds.7.html similarity index 100% rename from docs/gbds.7.html rename to docs/rgbds.7.html