diff options
Diffstat (limited to 'doc/supplements/hppa1_1/Makefile')
-rw-r--r-- | doc/supplements/hppa1_1/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/supplements/hppa1_1/Makefile b/doc/supplements/hppa1_1/Makefile index a5daeb9190..a428d43b96 100644 --- a/doc/supplements/hppa1_1/Makefile +++ b/doc/supplements/hppa1_1/Makefile @@ -69,7 +69,7 @@ wksheets.texi: wksheets.t TIMES mv wksheets.t.fixed wksheets.texi html: dirs $(FILES) - -mkdir -p $(WWW_INSTALL)/c_hppa1_1 + -mkdir -p $(WWW_INSTALL)/c_$(PROJECT) $(TEXI2WWW) $(TEXI2WWW_ARGS) -dir $(WWW_INSTALL)/c_$(PROJECT) \ $(PROJECT).texi |