diff options
Diffstat (limited to 'Master/texmf-dist/doc/generic/FAQ-en/Makefile')
-rw-r--r-- | Master/texmf-dist/doc/generic/FAQ-en/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Master/texmf-dist/doc/generic/FAQ-en/Makefile b/Master/texmf-dist/doc/generic/FAQ-en/Makefile index 717708568a3..1345d541131 100644 --- a/Master/texmf-dist/doc/generic/FAQ-en/Makefile +++ b/Master/texmf-dist/doc/generic/FAQ-en/Makefile @@ -201,9 +201,9 @@ $(CGI_BIN)/sanitize.pl: $(HOME_DIR)/sanitize.pl $(CGI_BIN)/sanitize-beta.pl: $(HOME_DIR)/sanitize-beta.pl $(CGI_BIN)/texfaq2html $(CGI_BIN)/texfaq2html-beta $(CGI_BIN)/texfaq2html-gamma $(CGI_BIN)/sanitize.pl $(CGI_BIN)/sanitize-beta.pl: - co -l $@ +# co -l $@ cp -p $? $@ - ci -u -m"automatic check-in" $@ +# ci -u -m"automatic check-in" $@ html: $(HTMLDIR)/index.html |